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

[mizar] Jordan

Dear Sirs;
   I prepared a page of Jordan Curve Theory:

http://markun.cs.shinshu-u.ac.jp/mizar/jordan/jordancurve-e.html

and a page to link to it, and link to the newest version of MML on Web:


http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-e.html


                                                              Yatsuka Nakamura