objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Provide instructions for the customer to check that we've completed the contract requirements #361

Closed deemp closed 3 weeks ago

deemp commented 3 months ago

Details

Assumptions: