Geeks
Eric-Song-Nop
/
tactic-cheatsheet
Lean4 tactic cheatsheet
Primary Language
Lean
MIT License
MIT
tactic-cheatsheet Home Page
tactic-cheatsheet GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
SnO2WMaN
チルノのパーフェクトさんすう教室