This is stars and forks stats for /leanprover-community/mathlib4 repository. As of 25 Apr, 2024 this repository has 350 stars and 140 forks.
mathlib4 This is a complete port of mathlib to Lean 4. Development of mathlib now takes place in this repository. Mathlib is a user maintained library for the Lean theorem prover. It contains both programming infrastructure and mathematics, as well as tactics that use the former and allow to develop the latter. Installation You can find detailed instructions to install Lean, mathlib, and supporting tools on our website. Experimenting Got everything installed? Why not start with the tutorial project? For...
mathlib4 This is a complete port of mathlib to Lean 4. Development of mathlib now takes place in this repository. Mathlib is a user maintained library for the Lean theorem prover. It contains both programming infrastructure and mathematics, as well as tactics that use the former and allow to develop the latter. Installation You can find detailed instructions to install Lean, mathlib, and supporting tools on our website. Experimenting Got everything installed? Why not start with the tutorial project? For...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Nusantara-ROM/android_system_sepolicy | PythonCGo | 0 | 0 | 3 | 0 |
| Nusantara-ROM/android_device_qcom_sepolicy | ShellMakefile | 0 | 0 | 0 | 0 |
| t184256/nix-on-droid | NixShell | 797 | 0 | 48 | 0 |
| ouangyb3/makeitrealcampt | Objective-CCShell | 56 | 0 | 25 | 0 |
| mparticle-integrations/mparticle-apple-integration-branchmetrics | Objective-CSwiftRuby | 4 | 0 | 23 | 0 |
| Wollivan/SquadronLeader | OpenSCADHTMLShell | 27 | 0 | 9 | 0 |
| AllenDowney/ThinkPython | PostScriptTeXPython | 932 | 0 | 656 | +4 |
| STATWORX/blog | RHTMLPython | 105 | 0 | 480 | 0 |
| lgatto/MSnbase | RCTeX | 112 | +1 | 50 | 0 |
| scalacenter/scastie | ScalaSCSSShell | 410 | 0 | 100 | 0 |