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 |