issues
search
FMFI-UK-1-AIN-412
/
workbook
First-order logic workbook
https://FMFI-UK-1-AIN-412.github.io/workbook/
0
stars
4
forks
source link
Integrovať Formalization checker
#23
Open
crnkjck
opened
2 years ago
crnkjck
commented
2 years ago
Integrovať
Formalization checker
– po jeho doladeni.
Integrovať Formalization checker – po jeho doladeni.