Geeks
isaacmsl
/
ListNatGame
A little game of Natural's List using Lean4
Primary Language
Lean
ListNatGame GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
Stargazers
IanGabriel12
Natal, RN, Brazil
Kk3tillen
IMD
Kywal
Pablo1Gustavo
Natal - RN - Brazil