Deducteam/isabelle_dedukti

Isabelle component generating Dedukti proofs

ScalaNOASSERTION