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

[mizar] Mizar parser in OCaml

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar parser in OCaml
From: Michael Nedzelsky <MichaelNedzelsky@yandex.ru>
Date: Mon, 30 Oct 2006 19:20:47 +0300

Hi all,

The snapshot of the code for Mizar parser was uploaded to Mizar Wiki at

http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MizarParser

I have worked on it during last month, and it is still more "proof of concept"
than the production code, though I have decided to put it anyway.
The main files are distributed under the GNU Lesser General License (LGPL).

Regards,
  Michael Nedzelsky


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

Prev by Date: [mizar] Changes in the Mizar grammar file.
Next by Date: [mizar] Question on parsing term expression with "qua".
Index(es):
- Chronological
- Thread