Explore projects

Application language for input and 2D Rendering (Application name sounds to close to MaCoCo, that's why the name is 2DRendering for now)

generates witnesses

https://embeddedmontiarc.github.io/webspace/MathPrettyPrinter/