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

Add conditional source bridge and independent compiler checks

7bd54e9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 18, 2026 in 2m 2s