ABCExceptions
Exceptions to the ABC conjecture in Lean
of 7 versions of ABCExceptions
1-7Sort by
Date
8f4b63b
v4.21.0-rc33.8 MB15c73ab
v4.21.0-rc3v4.21.0-rc3046130a
v4.21.0-rc1v4.21.0-rc1a7d847a
v4.20.0v4.20.0dc5a7f5
v4.20.0-rc5v4.20.0-rc55684027
v4.16.0-rc2v4.16.0-rc29af9bf0
v4.15.0-rc1v4.15.0-rc1