Tabuľkový vstup pre predikáty a funkcie s aritami 1 a 2 - Githubissues

mcifra / prieskumnik-struktur

Prieskumník sémantiky logiky prvého rádu

https://fmfi-uk-1-ain-412.github.io/structure-explorer/

1 stars 0 forks source link

Tabuľkový vstup pre predikáty a funkcie s aritami 1 a 2 #5

Closed crnkjck closed 6 years ago

crnkjck commented 6 years ago

[x] Vstup predikátov s aritou 1 a 2 tabuľkou s checkboxami
[x] Vstup funkcií s aritou 1 a 2 tabuľkou s inputmi/selectmi