GitHub repository: steveloughran/formality
Primary language: TeX
Description: Formal Methods, Maths and papers