[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Intent to package: metamath

On Tue, Apr 06, 1999 at 04:03:02PM -0400, Fredrick Paul Eisele wrote:
> MetaMath is:
>   - a computer language for pure mathematics
>   - a rigorous mathematical proof verifier 
>   - a tool for writing mathematical proofs
>   - a metamathematical philosophy
>   - a manual of abstract mathematics

Sounds coool. Upload this asap, please!

I hope there is a module for automatical proof finding, or I'll need to add
one :)


`Rhubarb is no Egyptian god.' Debian http://www.debian.org   finger brinkmd@ 
Marcus Brinkmann              GNU    http://www.gnu.org     master.debian.org
Marcus.Brinkmann@ruhr-uni-bochum.de                        for public  PGP Key
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/       PGP Key ID 36E7CD09

Reply to: