*To*: Walther Neuper <neuper at ist.tugraz.at>*Subject*: Re: [isabelle] wikipedia entry*From*: Alexander Krauss <krauss at in.tum.de>*Date*: Wed, 02 Sep 2009 12:11:13 +0200*Cc*: isabelle-users at cl.cam.ac.uk*In-reply-to*: <4A9D4883.6060408@ist.tugraz.at>*References*: <4A9D4883.6060408@ist.tugraz.at>*User-agent*: Mozilla-Thunderbird 2.0.0.22 (X11/20090701)

Hi Walther,

from time to time having discussions with "pure mathematicians" (i.e. mathematicians who don't take computers serious beyond LaTeX) about computer theorem proving (CTP), I would welcome wikipedias entry on Isabelle supporting arguments like these: [...]

Alex

**Follow-Ups**:**Re: [isabelle] wikipedia entry***From:*Walther Neuper

**References**:**[isabelle] wikipedia entry***From:*Walther Neuper

- Previous by Date: Re: [isabelle] Types for variables
- Next by Date: Re: [isabelle] Why do some abbreviations become "abbreviatees" inside locales?
- Previous by Thread: [isabelle] wikipedia entry
- Next by Thread: Re: [isabelle] wikipedia entry
- Cl-isabelle-users September 2009 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list