View of User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?

Return to Article Details User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? Download Download PDF