YaelDillies / LeanAPAPLinks

Formalisation of the Kelley-Meka bound on Roth numbers
19Updated last month

Alternatives and similar repositories for LeanAPAP

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

Sorting: