LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
of 7 versions of LeanAPAP
1-7Sort by
Date
44d47c5
v4.22.0v4.22.08.3 MB44d47c5
v4.22.0v4.22.08.3 MB650be76
v4.21.0v4.21.08.4 MB4b2c5ca
v4.20.1v4.20.18.4 MB61769c8
v4.19.0v4.19.09a8fb15
v4.18.0v4.18.05763324
v4.17.0v4.17.0