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-12-02.tar.gz	2013-12-02	9.6 MB	0
afp-2013-11-19.tar.gz	2013-11-19	9.6 MB	0
afp-2013-11-18.tar.gz	2013-11-18	9.6 MB	0
Totals: 3 Items		28.7 MB	0

Other Useful Business Software

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Recommended Projects

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.
OpenAxiom: Scientific Computation System
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
Space Orbits Manipulator
Orbits is a Mathematica package to handle Keplerian and perturbed orbits in an easy and flexible way. It has been created to use in an educational environment.
Susa
A C++ library of linear algebra, signal processing and communication systems routines. This library is stand alone and it does not depend on any third party libraries indeed a C++17 compiler equipped with the standard library is necessary and sufficient. The project has been moved to...
Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem...