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

[mizar] Val Day

To: Library Committee <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] Val Day
From: Vladimir Rykov <rykov2000@mail.ru>
Date: Fri, 15 Feb 2002 16:57:14 +0300

http://paco.mtv.ru/smoochie.html

References:
- [mizar] New Mizar article
  - From: Library Committee <mml@mizar.uwb.edu.pl>

Prev by Date: [mizar] ACL2 Workshop (note registration deadlines) (fwd)
Next by Date: [mizar] ESSLLI 2002 Student Session (fwd)
Index(es):
- Chronological
- Thread