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	InfoDownloads / Week
Parent folder
afp-2004-03-30	2004-04-12	0
Totals: 1 Item		0

Other Useful Business Software

Desktop and Mobile Device Management Software

It's a modern take on desktop management that can be scaled as per organizational needs.

Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.

Learn More

Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

Lock Down Any Resource, Anywhere, Anytime

CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.

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