issues
search
FMFI-UK-1-AIN-412
/
formalization-checker-backend
The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0
stars
5
forks
source link
first-order-logic
formalization
readme
formalization-checker-back-end