Deducteam/Dedukti Issues
Links seem to 404
Closed 2Erroneous suggestion from dk dep
Closed 1Erroneous suggestion from dk dep
Closed 1Path resolution
Closeddk dep is too slow
Updateddk --version does not work
UpdatedRule typing failure
Updated 5Module identifier quoting
UpdatedQuestion about #REQUIRE
Updated 3Dedukti install
Closed 2Outdated readme
Updated 2Hints in error messages
Updatedsyntax.bnf is not up to date
UpdatedTypo in documentation
Updated 5More pedagogical documentation
Updated 5Unclear error message
UpdatedRun the libraries
UpdatedDocumentation online
Closed 2make fails with "cannot find z3"
Closed 1Cannot compile with Ocaml 4.13.1
Closed 1Error codes
Updated.github folder
UpdatedCompatibility with OCaml
Closed 2Some commands are not tested
UpdatedMetadata annotation of entries
Closed 4`Matching_test` is never used
Closed 1