[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] notes on isabelle vs. mizar

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] notes on isabelle vs. mizar
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Thu, 7 Feb 2008 18:36:07 +0100 (CET)

Hi,

someone here might be interested a couple of fairly raw (and sometimesprobably incorrect) notes comparing some features of isabelle and mizar:http://www.google.com/notebook/public/13713103740520825807/BDQ7EQwoQw4TZgfwi.


Feedback is very welcome,
Josef

Follow-Ups:
- Re: [mizar] notes on isabelle vs. mizar
  - From: Makarius <makarius@sketis.net>

Prev by Date: [mizar] Calculemus 2008: Second Call for Papers.
Next by Date: Re: [mizar] notes on isabelle vs. mizar
Index(es):
- Chronological
- Thread