GitHub repository: FMFI-UK-1-AIN-412/formalization-checker-front-end
Primary language: JavaScript
Created: 2020-10-19T09:16:44Z
Description: The front end of a tool for checking formalization exercises.