Talk:SPASS

Latest comment: 3 years ago by Emanuele6 in topic disambiguation

disambiguation edit

Searching for "spass" (lowercase) will bring you to Spass (a "rural locality" in Russia which had a population of 23 people in 2002) with no link to this page.

Can someone please add a disambiguation link for SPASS a.k.a. SPASS theorem prover in that page (Spass) and vice versa? I don't know how to do it properly.

Emanuele6 (talk) 01:38, 26 January 2021 (UTC)Emanuele6Reply