Archive of Formal Proofs Icon

A collection of machine-checkend mathematical proofs

User Ratings

★★★★★
★★★★
★★★
★★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
Write a Review

User Reviews

  • unicorny
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    the AFP!!

    Posted 07/15/2014
  • nomievelyn
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    very useful idea

    Posted 04/09/2010