About the formalization of some results by Chebyshev in number theory (0)

by Andrea Asperti, Wilmer Ricciotti
Venue:In Proc. of TYPES’08, volume 5497 of LNCS