issues
search
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Zobrazovanie na uzkych displejoch
#13
crnkjck
closed
6 years ago
1
function symbol bug
#12
kisel4
opened
6 years ago
4
Embedovatelnost prieskumnika do formulara
#11
crnkjck
opened
6 years ago
0
Problem po importe s nesparsovanou formulou
#10
crnkjck
closed
6 years ago
0
Vyhodnocovanie formul
#9
crnkjck
closed
6 years ago
2
Review
#8
crnkjck
opened
6 years ago
0
Zavislosti medzi komponentmi
#7
crnkjck
opened
6 years ago
1
Export a import
#6
crnkjck
closed
6 years ago
0
Tabuľkový vstup pre predikáty a funkcie s aritami 1 a 2
#5
crnkjck
closed
6 years ago
0
Upraviť parser pre vstup emojis
#4
crnkjck
closed
6 years ago
5
Stretnutie 6. 3.
#3
crnkjck
closed
6 years ago
0
Stretnutie 27. 2.
#2
crnkjck
closed
6 years ago
0
Parser
#1
crnkjck
closed
6 years ago
8