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-2013-02-02.tar.gz	2013-02-16	8.5 MB	0
afp-2012-08-07.tar.gz	2012-09-06	8.3 MB	0
Totals: 2 Items		16.9 MB	0

Other Useful Business Software

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

Repair-CRM

For small companies that repair and maintenance customer machines

All-In-One Solution with an Online Booking portal for automating scheduling & dispatching to ditch paperwork and improve the productivity of your technicians!

Learn More

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