百万卢比

Markgraph-Karl反驳过程,一个用普通Lisp编写的基于图的解析定理证明程序。