Reproduce “Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction” on OpenResearch

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