D

dktactics

Dependently-typed tactics and certificate checking in Meta Dedukti