MCMaximilius

Pinned Repositories

lean4-logic
Lean4 Logic Formalization - Proof Theory
Language:Lean00
tarski_geometry
Language:C00
msri_cut_theorem
Language:Lean00

MCMaximilius's Repositories

MCMaximilius/lean4-logic
Lean4 Logic Formalization - Proof Theory
Language:Lean
MCMaximilius/tarski_geometry
Language:C