D

dktactics

Dependently-typed tactics and certificate checking in Meta Dedukti

Project ID: 273
Name
Last commit
Last update
example Loading commit data...
fol Loading commit data...
meta Loading commit data...
prettyprint Loading commit data...
ugly Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.org Loading commit data...
configure Loading commit data...
manual.org Loading commit data...
opam Loading commit data...
version.txt Loading commit data...