Talk:Spass

disambiguation
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