2 projects tagged "Emacs"
Updated 27 Mar 2013
GNU TeXmacs
| Pop | 973.64 |
|---|---|
| Vit | 103.88 |
GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.
Updated 28 Apr 2011
Proof General
| Pop | 54.39 |
|---|---|
| Vit | 4.51 |
Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.
