emeryberger merged emeryberger/SnakeLean#41 · July 13, 2026 15:09 docs: state the research claim and its evidence (PAPER_NOTES.md) #41 PAPER_NOTES.md — the research claim behind the test infrastructure, written to be argued with. Plus a RELATED_WORK.md entry for TeTRIS (ACSAC'25), … +262 -0