sailfish009/apery
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi]
CoqNOASSERTION
Watchers
No one’s watching this repository yet.
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi]
CoqNOASSERTION
No one’s watching this repository yet.