/apery

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

Primary LanguageCoqOtherNOASSERTION

Watchers

No one’s watching this repository yet.