dedukti software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | MathematicsofComputing_GENERAL | ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
    arxiv: Computer Science::Symbolic Computation | Computer Science::Programming Languages | Mathematics::Number Theory | Computer Science::Logic in Computer Science

Implementation of the λΠ-calculus modulo rewriting
Share - Bookmark