formalising-mathematics-2022
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024 (by ImperialCollegeLondon)
logical_verification_2021
By blanchette
Our great sponsors
formalising-mathematics-2022 | logical_verification_2021 | |
---|---|---|
1 | 1 | |
117 | 25 | |
0.9% | - | |
2.6 | 0.0 | |
about 2 months ago | over 2 years ago | |
Lean | Lean | |
- | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
formalising-mathematics-2022
Posts with mentions or reviews of formalising-mathematics-2022.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-22.
-
[suggestion] Learning about math proofs using lean
Professor Buzzard's current iteration of the course is continuing here in this 2022 repository. (And yes it's very very good).
logical_verification_2021
Posts with mentions or reviews of logical_verification_2021.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-22.
-
[suggestion] Learning about math proofs using lean
There is also the https://github.com/blanchette/logical_verification_2021 with the accompanying course website https://lean-forward.github.io/logical-verification/2021/.
What are some alternatives?
When comparing formalising-mathematics-2022 and logical_verification_2021 you can also consider the following projects:
formalising-mathematics - Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
platform - Multi platform setup for Coq, Coq libraries and tools