leanprover/std4

Standard Library for Lean 4

Leanleanlean4
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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
PatrickMassot/lean-verboseLean52010
brendanzab/language-gardenOCamlNixLean108020
mo271/formal_bookLean29+140
AeneasVerif/aeneasOCamlStandard MLF*65080
geerlingguy/ansible-for-devopsPythonJinjaLua7.5k03.2k0
facebookresearch/miniF2FObjective-C++IsabelleLean35+190
JamesGallicchio/eternity2LeanPythonShell4000
blanchette/logical_verification_2022Lean17070
EdAyers/WidgetKitLeanTypeScriptTeX560100
leanprover-community/mathlib3portLean11050