package coq-fermat4
Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
Install
Dune Dependency
Authors
Maintainers
Sources
v8.7.0.tar.gz
md5=25eb8359b3229eaabebb64d753cea1f4
Description
This contribution presents the formalization of Fermat's proofs of Diophantus' 20th Problem and Fermat's Last Theorem for n = 4. The proofs are completed using Fermat's "wonderful" method of infinite descent.
On This Page