Theorema
Tutorial
Proof Search Tree