Geeks
AdrianDoM
/
IMOinLEAN
A collection of formalisations in the LEAN interactive theorem prover
Primary Language
Lean
IMOinLEAN GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
ramonfmir
London