GitHub repository: taorunz/euler
Primary language: Coq
Description: Asymptotic Upper Bound of Euler Totient Function φ