Netvouz / listbook / tag / formalized http://netvouz.com/listbook/tag/formalized?feed=rss listbook's bookmarks tagged "formalized" on Netvouz Journal of Formalized Mathematics ftp://ftp.cs.ualberta.ca/pub2/Mizar/httpd/htdocs/JFM/index.html ... > ... listbook Sun, 30 Jul 2006 12:50:15 GMT