GitHub repository: FMFI-UK-1-AIN-412/formalization-checker-back-end
Primary language: JavaScript
Created: 2020-11-25T15:37:14Z
Description: The back end of a tool for checking formalization exercises.