This is stars and forks stats for /blanchette/logical_verification_2022 repository. As of 29 Apr, 2024 this repository has 17 stars and 7 forks.
Logical Verification 2022: Installation Instructions We have installation instructions for Windows, Linux, and macOS. These directions are adapted from the leanprover-community web page. Windows Windows These instructions are also covered in a YouTube video. This does not include the "Install Our Logical Verification Repository" step. Get Lean Install Git for Windows: https://gitforwindows.org/. Accept all default answers during the installation (or, if you would like to minimize the installation,...
Logical Verification 2022: Installation Instructions We have installation instructions for Windows, Linux, and macOS. These directions are adapted from the leanprover-community web page. Windows Windows These instructions are also covered in a YouTube video. This does not include the "Install Our Logical Verification Repository" step. Get Lean Install Git for Windows: https://gitforwindows.org/. Accept all default answers during the installation (or, if you would like to minimize the installation,...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| EdAyers/WidgetKit | LeanTypeScriptTeX | 56 | 0 | 10 | 0 |
| leanprover-community/mathlib3port | Lean | 11 | 0 | 5 | 0 |
| blanchette/logical_verification_2021 | Lean | 25 | 0 | 8 | 0 |
| 0art0/lean3-statement-translation-tool | Lean | 7 | 0 | 0 | 0 |
| ImperialCollegeLondon/tcc-lean-alg-geom-2022 | Lean | 7 | 0 | 1 | 0 |
| yatima-inc/Bellanova.lean | Lean | 2 | 0 | 1 | 0 |
| Kha/aoc-2022 | LeanEuphoriaNix | 3 | 0 | 0 | 0 |
| yatima-inc/Lurk.lean | Lean | 6 | 0 | 2 | 0 |
| yatima-inc/YatimaStdLib.lean | LeanCNix | 6 | 0 | 5 | 0 |
| brown-cs22/CS22-Lean-2023 | LeanDockerfile | 13 | 0 | 21 | 0 |