emeryberger merged emeryberger/SnakeLean#34 · July 7, 2026 13:12 docs: record Int→Bool predicates + F34 in PLAN.md #34 Documentation-only PLAN.md update recording PRs #32 (Int→Bool predicate generation) and #33 (F34 Float-literal fix), and the clean 5000-seed re-ver… +12 -5