• OMEGA

  • Referenced in 4 articles [sw19623]
  • Ωmega: A theorem prover for higher-order logic...
  • OSHL

  • Referenced in 0 articles [sw19628]
  • OSHL: A general-purpose instance-based first-order...