I'm a maths student at the University of Warwick,
mainly reading algebraic topology/algebraic geometry;
personal interests reside in topos theory and type theory.
🌺
Pinned Loading
-
corne-keymap
corne-keymap PublicQMK keymap for the Corne keyboard, optimised for writing (La)TeX and C files.
-
-
mgsium/102_comb_lean
mgsium/102_comb_lean PublicLean proofs of (some) problems from the book "102 Combinatorial Problems"
-
LaTeX Snippets
LaTeX Snippets 1global
2function math(context) {
3return context.scopes.some(s => s.startsWith("meta.math"));
4}
5endglobal
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.