Geeks
brendanzab
/
lean-holes
Interactive holes for Lean 4
Primary Language
Lean
lean-holes GitHub
Markdown
Readme
0
Issues
16
Stargazers
2
Watchers
Stargazers
4e554c4c
@facebook
BikramHalder
disconcision
@hazelgrove @fplab
forked-from-1kasper
Milky Way, Solar System, Earth
jakeisnt
@improvin
jonsterling
University of Cambridge
remimimimimi
Unikie
skylee03
University of Hong Kong
thelissimus
Die Toteninsel
tkersey
@thisisartium