Choosing a name for the Proof Assistants site
Name: Computational Logic
What is computational logic you ask, see: Computational logic: its origins
Why that name? Because it catches most if not all of what others want to see included beyond just Proof Assistants.
Now (01/27/2022) many of the posted answers are giving a URL instead of a ...