package coq-fermat4
Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=4b9f84e37eada7cb087cf380acef820d
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