-
Raphaël Rieu-Helft authored
Add an intermediary decision procedure with more expressive terms, some subtraction/multiplication examples
939eb5a4
Add an intermediary decision procedure with more expressive terms, some subtraction/multiplication examples