/emulation-theory

formalizing professor Harvey Friedman's ground-breaking work in emulation theory in Lean

Primary LanguageLean

No issues in this repository yet.