search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
219 stars 70 forks source link

Fermat numbers #1169

Closed EgbertRijke closed 1 month ago

EgbertRijke commented 1 month ago

This PR adds two definitions of the Fermat numbers. The proof that they are the same is left for a future pull request.