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

Konfigurovatelne URI backendu kontrolora formalizacii #44

Open crnkjck opened 1 year ago

crnkjck commented 1 year ago

URI backendu kontrolora formalizacii je momentalne hard-coded. Treba ho pridat na vhodne miesto v config*.json a pouzit v embeddedApps.ts.