Giters
brendanzab
/
lean-holes
Interactive holes for Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
2
Issues:
0
Forks:
brendanzab/lean-holes Stargazers
Jon Sterling
jonsterling
Siegmentation Fault
forked-from-1kasper
Yang Ming-Tian
skylee03
Tim Kersey
tkersey
kei
thelissimus
andrew blinn
disconcision
Rémi
remimimimimi
Jake Chvatal
jakeisnt
Bikram Halder
BikramHalder
Calvin Lee
4e554c4c