zeramorphic
Part III Mathematics student at Cambridge. Soon to become a PhD student at Nottingham, researching semantics of memory safety and borrowing.
Cambridge, UK
Pinned Repositories
con-nf
A formal consistency proof of Quine's set theory New Foundations
quill-v3
autocuber
blueprint4
cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
category-theory
con-nf-paper
A self-contained proof of the consistency of Quine's New Foundations axiom system.
con-nf-paper-1
covalent
Modular, fast, open rendering engine
part-ii-summaries
zeramorphic's Repositories
zeramorphic/cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
zeramorphic/part-ii-summaries
zeramorphic/autocuber
zeramorphic/blueprint4
zeramorphic/category-theory
zeramorphic/con-nf-paper
A self-contained proof of the consistency of Quine's New Foundations axiom system.
zeramorphic/con-nf-paper-1
zeramorphic/covalent
Modular, fast, open rendering engine
zeramorphic/flowistry
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
zeramorphic/hvega
Create Vega-Lite visualizations from Haskell.
zeramorphic/install-llvm-action
zeramorphic/ktane
zeramorphic/lambda_calculi
zeramorphic/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
zeramorphic/leanblueprint
plasTeX plugin to build formalization blueprints.
zeramorphic/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
zeramorphic/leanprover-contrib
zeramorphic/llvm-binaries
zeramorphic/llvm-binaries-mac
zeramorphic/llvm-binaries-win
zeramorphic/Lost-Mine
Lost Mine
zeramorphic/mathlib
Lean mathematical components library
zeramorphic/nomicon
The Dark Arts of Advanced and Unsafe Rust Programming
zeramorphic/notes-formalised
zeramorphic/pfr
zeramorphic/separation-logic
zeramorphic/set-theory
zeramorphic/toki-pona-encoding
zeramorphic/unit-fractions
zeramorphic/wikipedia