Port of MIZAR formal math language to lisp
Primary LanguageCommon Lisp
This is the stub README.txt for the "cl-mizar" project.