This is stars and forks stats for /leanprover/std4 repository. As of 29 Mar, 2024 this repository has 119 stars and 45 forks.
std4 Work in progress standard library for Lean 4. This is a collection of data structures and tactics intended for use by both computer-science applications and mathematics applications of Lean 4. Build instructions Get the newest version of elan. If you already have installed a version of Lean, you can run elan self update If the above command fails, or if you need to install elan, run curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh If this also fails, follow...
std4 Work in progress standard library for Lean 4. This is a collection of data structures and tactics intended for use by both computer-science applications and mathematics applications of Lean 4. Build instructions Get the newest version of elan. If you already have installed a version of Lean, you can run elan self update If the above command fails, or if you need to install elan, run curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh If this also fails, follow...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
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 |
geerlingguy/ansible-for-devops | PythonJinjaLua | 7.5k | 0 | 3.2k | 0 |
facebookresearch/miniF2F | Objective-C++IsabelleLean | 35 | +1 | 9 | 0 |
JamesGallicchio/eternity2 | LeanPythonShell | 4 | 0 | 0 | 0 |
blanchette/logical_verification_2022 | Lean | 17 | 0 | 7 | 0 |
EdAyers/WidgetKit | LeanTypeScriptTeX | 56 | 0 | 10 | 0 |
leanprover-community/mathlib3port | Lean | 11 | 0 | 5 | 0 |