L

lpmt-on-lisp

An implementation of the lambda Pi calculus modulo theory on top of Common Lisp.