2 commits

Author	SHA1	Message	Date
russell@unturf.com	c63e93b9bb	patches: lean4-0001 — refine Cycle.lean patch, standalone MonadCallStackFast, low-priority fallback instance	2026-04-13 10:03:58 -04:00
russell@unturf.com	77ab58c2db	patches: lean4-0001..0003 — MOAD-0001 Cycle.lean HashSet fix + kernel inductive + util.cpp	2026-04-13 10:03:29 -04:00