Devcon Archive logo
Devcon Devconnect Forum Blog
  • Watch
  • Event
    Event: background logo
    • Devcon 7
    • Devcon 6
    • Devcon 5
    • Devcon 4
    • Devcon 3
    • Devcon 2
    • Devcon 1
    • Devcon 0
    • Devconnect ARG
  • Categories
    Categories: background logo
    • Cryptoeconomics
    • Devcon
    • Developer Experience
    • Coordination
    • Core Protocol
    • Layer 2s
    • Real World Ethereum
    • Cypherpunk & Privacy
    • Security
    • Applied Cryptography
    • Usability
  • Playlists

Suggested

Loading results..

View all

About Devcon —

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

An intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

  • Watch
  • Devcon
  • Devconnect
  • Forum
  • Blog

Get in touch

devcon@ethereum.org

Subscribe to our newsletter

Crafted with passion ❤️ at the Ethereum Foundation

© 2026 — Ethereum Foundation. All Rights Reserved.

devcon8 / formal verification in lean

  • YouTube
Formal Verification in Lean preview
  • Details

Formal Verification in Lean

Duration: NaN:NaN:NaN

Speaker: Derek Sorensen

Type: Workshop

Expertise: No prior knowledge

Event: Devcon

Date: Nov 2026

This workshop will introduce software developers who are curious about formal verification to practical examples and tutorials on formal verification in Lean. It will include a short introductory lecture, followed by hands-on practical examples. Attendees can clone the lecture repo and follow along with the examples on their own machines. Agenda: 1. What is formal verification, and what does it (not) guarantee? (5 minutes) 2. Proofs in Lean (10 minutes) 3. Formally verifying Rust (and other) code in Lean, practical examples (35 minutes) 4. Q&A (10 minutes)

Categories

CryptographySecurityFormal Verification