Archive of Formal Proofs Files

A collection of machine-checkend mathematical proofs

Brought to you by: eberl, lp15, lsf37, nipkow, rthiemann

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
afp-2012-05-11.tar.gz	2012-09-06	7.1 MB	0
afp-2011-11-27.tar.gz	2011-12-12	6.8 MB	0
Totals: 2 Items		13.9 MB	0

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Cloud-based help desk software with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free

Recommended Projects

DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
Heritrix: Internet Archive Web Crawler
The archive-crawler project is building Heritrix: a flexible, extensible, robust, and scalable web crawler capable of fetching, archiving, and analyzing the full diversity and breadth of internet-accesible content.
Awesome Stock Resources
Collection of links for free stock photography, video and Illustration
Archive System
A disc cataloging software to organize your disc/file collection. A CD/DVD library that finds all your necessary files (or open local files) at a glance without need to insert discs into the drive. This is a real fast disc/file collection organizer.

Archive of Formal Proofs Files

A collection of machine-checkend mathematical proofs

Get an email when there's a new version of Archive of Formal Proofs