Topic

proofs

1 piece on this topic. All topics

Concrete Can I prove Concrete programs in Lean? The original roadmap for proving Concrete programs in Lean, updated now that part of that bridge exists: source contracts, proof obligations, Lean-checked evidence, stale detection, and an explicit trusted base. Mar 12, 2026 · 10 min