Dependently-typed tactics and certificate checking in Meta Dedukti
Forked from Raphael CAUDERLIER / dktactics