Skip to content

GitLab

Explore

Sign in

koizel
lpmt-on-lisp

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

Copy SSH clone URLgit@forge.tedomum.net:koizel/lpmt-on-lisp.git
Copy HTTPS clone URLhttps://forge.tedomum.net/koizel/lpmt-on-lisp.git