Awesome

Exploring prover ideas for intuitionistic logic