Reproduce “A unified implementation of automata and expression structures, and of the associated algorithms using enriched categories” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.