Keyword: theorem proving

• JProver: A theorem prover for first-order intuitionistic logic
  Huang Guan-Shieng