Vytovrenie GUI aplikacie

TIS2024-FMFI / kolmogorov

Application for visualization of depndences of math axioms and theorems

The Unlicense

3 stars 0 forks source link

Open cephems1 opened 1 month ago

cephems1 commented 1 month ago

Ivanusykova commented 2 weeks ago

Ivanusykova commented 2 weeks ago

Ivanusykova commented 2 weeks ago

pavelpetrovic commented 1 week ago

komentare:

prosim doplnit checkboxy/dropboxy alebo radiobuttony podla KP
zvazit ci nedat teorie pod seba a kazde tvrdenie do samostatneho riadku, nielen skratku, ale aj popis

Ivanusykova commented 1 week ago

Ivanusykova commented 6 days ago