[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
lp15 at cam.ac.uk
Tue Feb 19 12:38:33 CET 2013
we'll need a volunteer.
The HOL Wikipedia page also describes Isabelle as the successor of HOL4. I don't think they see it this way.
On 19 Feb 2013, at 06:52, Tobias Nipkow <nipkow at in.tum.de> wrote:
> It would be better to update it. The German version is also a bit odd...
> Am 19/02/2013 00:42, schrieb Lawrence Paulson:
>> Leaves something to be desired. Starting with the first sentence. Do we care?
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev