GitHub repository: uB-MEEF-Maths-2021/MathDataBase-fr
Primary language: TeX
Description: Database of mathematical definitions and theorems