YaelDillies / LeanAPAP

Formalisation of the Kelley-Meka bound on Roth numbers
17Updated this week

Alternatives and similar repositories for LeanAPAP:

Users that are interested in LeanAPAP are comparing it to the libraries listed below