$ curl -s https://github.com/ammarfaizi2.gpg | gpg --import
ammarfaizi2 / apery Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/apery
A formal proof of the irrationality of zeta(3), the Apéry constant
License: Other