teorth
★ 1,969analysis
A Lean companion to Analysis I. For instance, Chapter 2 develops a theory of the natural numbers independent of Mathlib, but all subsequent chapters will use the Mathlib natural numbers instead.
HYSEN LABS DIRECTORY
teorth
Verified repositories, classifications and analysis from the teorth organization.
2 curated open-source projects
teorth
★ 874erdosproblems
A community database for the problems on the erdosproblems.com site