GitHub repository: naproche/naproche
Primary language: TeX
Description: Write formal proofs in natural language and LaTeX.