Skip to main content

Use this for a more general category that includes proof assistants, automated theorem provers and interactive theorem provers.

References
Proof Assistants
Automated Theorem Provers