<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
FMFI-UK-1-AIN-412/formalization-checker-backend
The back end of a tool for checking formalization exercises.
JavaScript
Stars 0
Forks 5
Watchers 0
Open issues 32
License GNU General Public License v3.0
Details
仓库信息
Owner
FMFI-UK-1-AIN-412
Homepage
—
GitHub
https://github.com/FMFI-UK-1-AIN-412/formalization-checker-backend
Last pushed
2025-04-15
Last updated
2025-12-13
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--