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

update blueprint for new Subgraph namespace #41

Closed dwrensha closed 4 hours ago

dwrensha commented 4 hours ago

This fixes CI, which on main is currently failing at the step "check declarations mentioned in the blueprint exist in Lean code".