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