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

Passwordless Authentication and Passwordless Security

Identity is everything. Protect it with Duo.

It’s no secret — passwords can be a real headache, both for the people who use them and the people who manage them. Over time, we’ve created hundreds of passwords, it’s easy to lose track of them and they’re easily compromised. Fortunately, passwordless authentication is becoming a feasible reality for many businesses. Duo can help you get there.

Get a Free Trial

Comprehensive Cybersecurity to Safeguard Your Organization | SOCRadar

See what hackers already know about your organization – and stop them from getting in.

Protect your organization from cyber threats with SOCRadar’s cutting-edge threat intelligence. Gain 360° visibility into your digital assets, monitor the dark web, and stay ahead of hackers with real-time insights. Start for free and transform your cybersecurity today.

Free Trial

Recommended Projects

HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
7-Zip
A free file archiver for extremely high compression
Weka
Machine learning software to solve data mining problems
A Machine Learning Course with Python
A course about machine learning with Python

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