search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
78 stars 20 forks source link

feat: add code workspace #15

Closed bollu closed 1 day ago

bollu commented 1 day ago

This will prompt users who download the repository to install lean if they don't have it already, and sets up the environment with "blessed" settings like stripping newlines.