Theorema
Package Tutorial
Proof Output