Deducteam / isabelle_dedukti

Isabelle component generating Dedukti proofs

The dk output does not use qualified identifiers

fblanqui opened this issue 2 years ago · comments

Frédéric Blanqui commented 2 years ago