finite reviews and mentions
Posts with mentions or reviews of finite.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Basics of Proofs [pdf]
> Last time I checked there was still no formal version of Cantor's diagonalization argument.
Formalization? Like a computer checked proof?
Lean: https://leanprover-community.github.io/mathlib_docs/logic/fu...
Coq: https://github.com/bmsherman/finite/blob/63706fa4898aa05296c...
Isabelle: https://isabelle.in.tum.de/website-Isabelle2009-2/dist/libra...
Stats
Basic finite repo stats
1
5
10.0
almost 8 years ago
The primary programming language of finite is Coq.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com