Reproduce “The Post Correspondence Problem and equalisers for certain free group and monoid morphisms” on OpenResearch

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