• SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • Leibniz

  • Referenced in 31 articles [sw12871]
  • The Leibniz System is a software package for...