google-deepmind / formal-conjecturesLinks

A collection of formalized statements of conjectures in Lean.
456Updated this week

Alternatives and similar repositories for formal-conjectures

Users that are interested in formal-conjectures are comparing it to the libraries listed below

Sorting: