Searching protocol for "catlab"
Build robust RwEq proofs with canonical lemmas.
Ensure every artifact follows the constitution.