Giters

brad / mizar2cl

Convert a mizar article to common logic format

Home Page:http://github.com/brad/mizar2cl/wikis

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About
Convert a mizar article to common logic format
http://github.com/brad/mizar2cl/wikis