flypitch reviews and mentions
Posts with mentions or reviews of flypitch.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Can Computers Be Mathematicians?
The mathlib discussed in the article does include representations of infinite cardinalities; see e.g. https://leanprover-community.github.io/mathlib_docs/data/rea.... There was also a (now completed) project to prove the independence of the continuum hypothesis from ZFC in Lean; see https://github.com/flypitch/flypitch.
Stats
Basic flypitch repo stats
1
106
0.0
over 2 years ago
flypitch/flypitch is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of flypitch is Lean.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com