Meta Dedukti

MaRDI QIDQ40385swMATHFDO

Official website http://deducteam.gforge.inria.fr/metadedukti/

Cited in

(1)

• Tactics and certificates in Meta Dedukti

This page was built for software: Meta Dedukti