Theorem proving
* Proof General: (ProofGeneral).    Organize your proofs with Emacs!