Archive of Formal Proofs Icon

A collection of machine-checkend mathematical proofs

Best Way to Get Help

Archive of Formal Proofs says the best way to get help with its software is by contacting its project administrators.

Other Ways Of Getting Help

Here are some other places where you can look for information about this project.

Project Mailing Lists