GitHub repository: mbenke/vera
Primary language: Haskell
Description: Exploring prover ideas for intuitionistic logic