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

Komponent na lightweight syntax highlighting formul #54

Open crnkjck opened 3 months ago

crnkjck commented 3 months ago

Potrebujeme komponent pre workbook aj aplikacie, ktory pomoze v prvom rade s parovanim zatvoriek, pripadne s vyznacovanim oblasti platnosti kvantifikatorov, zvyraznovanim chybnych mimologickych symbolov, roznych zapisov spojok atd.

Mozne zdroje: