/apery

A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi]

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.