Theorem proving
* ProofGeneral::    Organize your proofs with Emacs!