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