This is stars and forks stats for /plfa/plfl repository. As of 25 Apr, 2024 this repository has 13 stars and 4 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| leanprover/lean4-samples | LeanCSSJavaScript | 61 | 0 | 19 | 0 |
| AndrasKovacs/smalltt | LeanIdrisAgda | 472 | 0 | 23 | 0 |
| BartoszPiotrowski/lean-premise-selection | LeanShellTypeScript | 12 | 0 | 0 | 0 |
| leanprover/std4 | Lean | 119 | 0 | 45 | 0 |
| PatrickMassot/lean-verbose | Lean | 52 | 0 | 1 | 0 |
| brendanzab/language-garden | OCamlNixLean | 108 | 0 | 2 | 0 |
| mo271/formal_book | Lean | 29 | +1 | 4 | 0 |
| AeneasVerif/aeneas | OCamlStandard MLF* | 65 | 0 | 8 | 0 |
| facebookresearch/miniF2F | Objective-C++IsabelleLean | 35 | +1 | 9 | 0 |
| JamesGallicchio/eternity2 | LeanPythonShell | 4 | 0 | 0 | 0 |