GitHub repository: mmasdeu/lean-nt
Primary language: Lean
Created: 2020-08-14T10:02:19Z
Description: Formalization of number theory results in Lean