New answers tagged


Choosing a name for the Proof Assistants site Name: Computational Logic What is computational logic you ask, see: Computational logic: its origins and applications 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 ...

Top 50 recent answers are included