Theorema
Package Tutorial
Proof Information