About

For questions regarding the different ways to generate and verify theorems via specialized computer languages, algorithms, and other computer-aided tools.

For questions regarding the different ways to generate and verify theorems via specialized computer languages, algorithms, and other computer-aided tools.

Topics (between others): auto-generated theorems, automatic tools, computer verification, algorithms to verify theorems, declarative proof languages, etc.

history | excerpt history