Skip to content

Add a source-shaped Lean bridge for compiler retention - #3650

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
PellaML:research/selected-compiler-source-bridge-20261018
Oct 20, 2026
Merged

Add a source-shaped Lean bridge for compiler retention#3650
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
PellaML:research/selected-compiler-source-bridge-20261018

Commits

  1. Commits on Oct 18, 2026