Deducteam/Dedukti Issues
Error messages
ClosedIdentifiers in Dedukti
UpdatedHeavy generated object files
Updated 20Documentation
ClosedDune
ClosedBeautifier
UpdatedRule name and priority
Updated 20Dedukti tutorial: #NAME command
Closed 4#INFER fails on Type
Closed 1Nested comments
Closed 11Having an open command
Closed 7Renaming the module Debug
Updated 1Problem with Opam
Closed 2Moving to Opam 2.0.0
Closed 2Dkmeta in Dedukti
Closed 4Next release of Dedukti
UpdatedIs HNF useful?
Closed 7ocamlfind for dedukti ?
Closed 22Option -nl and dependencies
Closed 7Document syntax in the manual
Closed 1Tail-rec way to print big proofs
Closed 8Extending patterns
Closed 3Dkcheck and the Env module
Closed 1Rewrite engine and Signature
Closed 4Lambda's conversion
Closed 2WHNF and confluence
Closed 5Free variable applied in LHS
Updated 1Having better version numbers
Closed 5API function is missing
Closed 1Conditional rewriting
Updated 6