D

dktactics

Dependently-typed tactics and certificate checking in Meta Dedukti

Forked from Raphael CAUDERLIER / dktactics