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

Rozšírenia `remark`-u #30

Closed crnkjck closed 1 year ago

crnkjck commented 1 year ago

Hodili by sa nám nasledujúce rozšírenia remark-u:

Celý zoznam