/prime-number-theorem

Primary LanguageLean

To use the mathlib, run leanpkg configure in the Terminal.