test code for a bug in fukamachi's prove
Primary LanguageCommon Lisp
No issues in this repository yet.