ReviewGithub
Lean
repo
techs
stars
weekly
forks
weekly
ImperialCollegeLondon/natural_number_game
Lean
HTML
Other
278
0
74
0
plfa/plfl
Lean
13
0
4
0
leanprover/lean4-samples
Lean
CSS
JavaScript
61
0
19
0
AndrasKovacs/smalltt
Lean
Idris
Agda
472
0
23
0
BartoszPiotrowski/lean-premise-selection
Lean
Shell
TypeScript
12
0
0
0
leanprover/std4
Lean
119
0
45
0
PatrickMassot/lean-verbose
Lean
52
0
1
0
brendanzab/language-garden
OCaml
Nix
Lean
108
0
2
0
AeneasVerif/aeneas
OCaml
Standard ML
F*
65
0
8
0
JamesGallicchio/eternity2
Lean
Python
Shell
4
0
0
0
blanchette/logical_verification_2022
Lean
17
0
7
0
EdAyers/WidgetKit
Lean
TypeScript
TeX
56
0
10
0
leanprover-community/mathlib3port
Lean
11
0
5
0
blanchette/logical_verification_2021
Lean
25
0
8
0
0art0/lean3-statement-translation-tool
Lean
7
0
0
0
ImperialCollegeLondon/tcc-lean-alg-geom-2022
Lean
7
0
1
0
yatima-inc/Bellanova.lean
Lean
2
0
1
0
Kha/aoc-2022
Lean
Euphoria
Nix
3
0
0
0
yatima-inc/Lurk.lean
Lean
6
0
2
0
yatima-inc/YatimaStdLib.lean
Lean
C
Nix
6
0
5
0
brown-cs22/CS22-Lean-2023
Lean
Dockerfile
13
0
21
0
risc0/risc0-lean4
Lean
Rust
31
0
2
0
zhangir-azerbayev/ProofNet
Lean
TeX
Python
63
0
12
0
leanprover/lake
Lean
Shell
Other
95
0
20
0
yatima-inc/yatima
Lean
72
0
5
0
< Previous
Next >
Review Github
collects stats from github repositories on a daily basis.
57,973
Repositories indexed ·
Code solutions