Skip to content

GitLab

Explore

Sign in

L

lpmt-on-lisp

Project information

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

21 Commits
2 Branches
0 Tags

CHANGELOG

Created on

June 27, 2021

Loading