Searching protocol for "catlab"
Build robust RwEq proofs with canonical lemmas.
Turn plans into actionable tasks quickly.
Ensure every artifact follows the constitution.