Kompaktnejšie zobrazenie dôkazu

NorbertJu / ResolutionEditor

Bachelor thesis

GNU General Public License v3.0

1 stars 0 forks source link

Open crnkjck opened 4 years ago

crnkjck commented 4 years ago

Zmenšite vstupy pre kroky dôkazu a medzerovanie, aby sa do okna zmestilo viac krokov dôkazu a nebolo potrebné toľko skrolovať.