Verified Compilation from Lean to C: A Proof-Carrying Pipeline with Minimal Trust | apoth3osis

Loading...

© 2025 apoth3osis. All rights reserved.

Discover. Build. Learn. Teach. Conceive. Evolve.

Privacy Policy Terms & Conditions rgoodman@apoth3osis.io

Verified Compilation from Lean to C: A Proof-Carrying Pipeline with Minimal Trust | apoth3osis