I like maths and CS. See my website for more info about myself.
- Britain
-
22:42
(UTC) - jsmassmann.github.io
Popular repositories Loading
-
jsmassmann.github.io
jsmassmann.github.io PublicMy website! Where I put all my quirky little things <3
TeX
-
-
LeanIMT
LeanIMT PublicA formalization of inner model theory in Lean. May merge into Mathlib someday.
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.