mabragor/cl-mizar

Port of MIZAR formal math language to lisp

Common Lisp