/lean-surreal-numbers

A formalization in Lean of the maths from the lovely book titled Surreal Numbers authored by Donald Knuth

Primary LanguageLean

Stargazers