Skip to content

feat: complete garbage vibe-coded port to Lean 4 - #4

Closed
kim-em wants to merge 63 commits into
gebner:masterfrom
kim-em:lean4
Closed

feat: complete garbage vibe-coded port to Lean 4#4
kim-em wants to merge 63 commits into
gebner:masterfrom
kim-em:lean4

docs: update PLAN.md with Small.pbind investigation findings

71999fe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs