Geeks
benjaminfjones
/
ffpigeon
Simple proof developments of pigeon hole principal like theorems in Lean 4
Primary Language
Lean
ffpigeon GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Stargazers
chenjulang