Talk:Spass

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

disambiguation[edit]

Can someone please add a disambiguation link for SPASS a.k.a. SPASS theorem prover? I don't know how to do it properly. Emanuele6 (talk) 01:34, 26 January 2021 (UTC)Emanuele6[reply]