GitHub repository: Eloitor/Mathlib-Formality
Primary language: JavaScript
Description: A modern proof language