[mizar] validation theory

["Kobayashi, Hidetsune" <hd_coba@yahoo.co.jp>]

I plan to develop the validation theory and some topics in
algebra related to it (e.g. field extensions, Riemann Roch
theorem) in Mizar.

Is anybody working on it?

Hidetsune Kobayashi

__________________________________
for your loved one
http://pr.mail.yahoo.co.jp/pinkribbon/