syntax.bnf is not up to date
fblanqui opened this issue · comments
https://raw.githubusercontent.com/Deducteam/Dedukti/master/syntax.bnf is not up to date
Implementation of the λΠ-calculus modulo rewriting
fblanqui opened this issue · comments
https://raw.githubusercontent.com/Deducteam/Dedukti/master/syntax.bnf is not up to date