Login / Signup

Escape to Mizar from ATPs.

Jesse Alama
Published in: PAAR@IJCAR (2012)
Keyphrases
  • computer assisted
  • automated theorem provers