Talk:Spass
Appearance
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||
|
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