search

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

Widget for rendering implication diagram #27

Closed 0art0 closed 1 month ago

0art0 commented 1 month ago

A widget for visualizing the diagram of implications from within Lean using vis.js. image image

This PR depends #22.

teorth commented 1 month ago

I may have accidentally caused a merge conflict by approving an earlier version of extract_implications.lean... are you able to resolve it on your end?

0art0 commented 1 month ago

I have now synchronized the code with the latest changes in the main branch.

0art0 commented 1 month ago

One change this PR introduces is to refactor the bulk of @dwrensha's code for extracting implications into a separate file which is then imported by the code for rendering the visualization.