Giters
agentultra
/
lean-for-hackers
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
18
Watchers:
4
Issues:
4
Forks:
3
agentultra/lean-for-hackers Issues
Problems in the random number guessing game code
Updated
a year ago
Comments count
3
More lean programming tutorial
Updated
a year ago
Comments count
2
nat.to_string
Closed
3 years ago
Comments count
1
running Lean from the command line
Closed
4 years ago
Comments count
1