Build for a specific platform

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

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

MIT License

7 stars 2 forks source link

Open deemp opened 1 month ago

deemp commented 1 month ago

We need to use the normalizer binary in the pipeline.

What can we build:

[ ] Ask Ivan about the platform at the end of the Stage 2 (https://github.com/objectionary/normalizer/issues/430)