Dedukti icon indicating copy to clipboard operation
Dedukti copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

syntax.bnf is not up to date

Open fblanqui opened this issue 3 years ago • 0 comments

https://raw.githubusercontent.com/Deducteam/Dedukti/master/syntax.bnf is not up to date

fblanqui avatar Jan 04 '22 10:01 fblanqui