SPASS je automatický dokazovač tvrzení pro úplnou predikátovou logiku s rovností a pro mnoho neklasických logik. Zde popisujeme poslední vývoj v SPASS 3.5
