MyFirstProofInLean reviews and mentions
Posts with mentions or reviews of MyFirstProofInLean.
We have used some of these posts to build our list of alternatives
and similar projects.
-
My first significant proof in Lean
My proof is here. I hope some of you are gurus of LEAN and can help me to improve it.
Stats
Basic MyFirstProofInLean repo stats
1
0
6.3
10 months ago
HurlSly/MyFirstProofInLean is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of MyFirstProofInLean is Lean.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com