coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Lukasz Stafiniak" <l_stafiniak AT hoga.pl>
- To: <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Topology
- Date: Sat, 2 Aug 2003 08:47:44 +0200
- Importance: normal
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- Priority: normal
Greetings,
Is there a standard contribution on basics of classical topology based on
ZF?
Thank You,
Lukasz
Uwaga! Do koñca sierpnia przed³u¿yli¶my promocje, do pakietów
wielostanowiskowych dok³adamy PenDrive Sprawd¼:
http://www.mks.com.pl/promocja-mobile.html
- [Coq-Club] Topology, Lukasz Stafiniak
Archive powered by MhonArc 2.6.16.