GitHub repository: FMFI-UK-1-AIN-412/formalization-checker
Primary language: JavaScript
Description: The front end of a tool for checking formalization exercises.