lean-mine / baby-rudin-project

An attempt to formalize every problem in Baby Rudin with natural language descripiton
17Updated 2 months ago

Alternatives and similar repositories for baby-rudin-project:

Users that are interested in baby-rudin-project are comparing it to the libraries listed below