GitHub repository: naproche-community/naproche
Primary language: Haskell
Created: 2021-02-04T10:33:37Z
Description: Write formal proofs in natural language and Latex.