This is stars and forks stats for /IPDSnelting/tba-2022 repository. As of 26 Apr, 2024 this repository has 14 stars and 2 forks.
tba-2022 Slides and exercises of the Lean 4 course Theorem prover lab: applications in programming languages at the Karlsruhe Institute of Technology, Summer 2022. Setup You can run and edit the Lean files in this repository either locally on your machine or using gitpod.io right in your browser. You can run Gitpod workspaces for free for 50 hours per month, which should be more than sufficient for the course, but you can switch to a local installation at any point. Gitpod Register at https://gitpod.io/login/ Go...
tba-2022 Slides and exercises of the Lean 4 course Theorem prover lab: applications in programming languages at the Karlsruhe Institute of Technology, Summer 2022. Setup You can run and edit the Lean files in this repository either locally on your machine or using gitpod.io right in your browser. You can run Gitpod workspaces for free for 50 hours per month, which should be more than sufficient for the course, but you can switch to a local installation at any point. Gitpod Register at https://gitpod.io/login/ Go...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| arthurpaulino/lean4-metaprogramming-book | LeanPython | 145 | 0 | 33 | 0 |
| leanprover-community/mathlib4 | LeanPythonShell | 350 | +5 | 140 | +1 |
| yatima-inc/yatima-lang | Lean | 72 | 0 | 5 | 0 |
| Faris999/indonesian-mo-formalization | Lean | 2 | 0 | 2 | 0 |
| zhangir-azerbayev/lean-chat | LeanPython | 48 | 0 | 5 | 0 |
| yatima-inc/straume | Lean | 5 | 0 | 1 | 0 |
| leanprover-community/lftcm2020 | LeanTeXPython | 63 | 0 | 78 | 0 |
| ImperialCollegeLondon/natural_number_game | LeanHTMLOther | 278 | 0 | 74 | 0 |
| plfa/plfl | Lean | 13 | 0 | 4 | 0 |
| leanprover/lean4-samples | LeanCSSJavaScript | 61 | 0 | 19 | 0 |