Publish results for the Stage 1 - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

7 stars 2 forks source link

Publish results for the Stage 1 #387

Closed deemp closed 1 month ago

deemp commented 1 month ago

Create a new branch
Create a readme with links to artifacts

deemp commented 1 month ago

The branch is https://github.com/objectionary/normalizer/tree/deliverables