The same person as @jamesba
This is my personal account
Popular repositories Loading
-
-
basicmaths
basicmaths PublicA construction of some basic mathematics in lean, mostly done for fun
Lean
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.