This website requires JavaScript.
Explore
Help
Sign In
greg
/
NNG
Watch
1
Star
0
Fork
0
You've already forked NNG
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
main
Add File
New File
Upload File
Apply Patch
NNG
/
Game
/
Levels
/
WIPAlgorithm
History
Kevin Buzzard
56010d0b43
LemmaTab -> TheoremTab
2024-01-24 15:42:41 +00:00
..
L10annoying.lean
levels 1 and 2 done
2023-10-26 22:34:49 +01:00
L11ac_rfl.lean
LemmaTab -> TheoremTab
2024-01-24 15:42:41 +00:00