Giters

xinhjBrant / prime-number-theorem

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

Languages

Language:Lean 46.4%Language:TeX 29.5%Language:HTML 8.0%Language:JavaScript 6.6%Language:CSS 6.0%Language:Common Lisp 2.6%Language:Makefile 0.4%Language:Python 0.4%Language:Batchfile 0.2%