Deducteam/isabelle_dedukti Issues
The Lambdapi output doesn' work
Updated 1option -O
Closed 1Pb Install
Closed 4Dependency error
Closed 3ROOT Dedukti_Base seems wrong
Closed 1Location of repository
Closed 1
Isabelle component generating Dedukti proofs