Keyword: proof as programs

• IPC: Intuitionistic Propositional Checker
  Klaus Weich