Re: Intent to package: metamath

To: Fredrick Paul Eisele <phreed@ameritech.net>, debian-devel@lists.debian.org
Subject: Re: Intent to package: metamath
From: Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>
Date: Wed, 7 Apr 1999 18:19:03 +0200
Message-id: <[🔎] 19990407181903.E214@ruhr-uni-bochum.de>
In-reply-to: <[🔎] 370A6876.7E500E96@ameritech.net>; from Fredrick Paul Eisele on Tue, Apr 06, 1999 at 04:03:02PM -0400
References: <[🔎] 370A6876.7E500E96@ameritech.net>

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 :)

Marcus

-- 
`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:

References:
- Intent to package: metamath
  - From: Fredrick Paul Eisele <phreed@ameritech.net>

Prev by Date: Re: user programs in /usr/X11R6
Next by Date: [off-topic] another trademark butchery
Previous by thread: Intent to package: metamath
Next by thread: Re: Intent to package: metamath
Index(es):
- Date
- Thread