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