Generate Progress Image

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

https://teorth.github.io/equational_theories/

Apache License 2.0

212 stars 51 forks source link

Generate Progress Image #4

Closed asvarga closed 1 month ago

asvarga commented 1 month ago

Adds scripts/generate_image.py to generate an image where pixel (X, Y) is green iff EquationX -> EquationY is proven true and red iff it is proved false. Uses https://python-pillow.org/

Example upper left corner generated from Basic.lean: