🍻 Default formulae for the missing package manager for macOS

Libor Wagner 4951d2230a The E Theorem Prover 1.4 ... "E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms." [http://www4.informatik.tu-muenchen.de/~schulz/E/E.html] Signed-off-by: Adam Vandenberg <flangy@gmail.com>		2012-03-10 13:57:21 -08:00
Aliases	fcgi: add 'fastcgi' alias	2012-02-22 13:48:11 -06:00
Formula	The E Theorem Prover 1.4	2012-03-10 13:57:21 -08:00