D
dktactics
Dependently-typed tactics and certificate checking in Meta Dedukti
Forked from Raphael CAUDERLIER / dktactics
-
Raphael Cauderlier authored8105adfe
Name |
Last commit
|
Last update |
---|---|---|
example | ||
fol | ||
meta | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
README.org | ||
configure | ||
manual.org | ||
opam | ||
version.txt |