Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024

Name: Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
Uploaded: 2024-01-01
Duration: 1 h 32 s
Description: Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024 — a 2024 DeFi Security Summit - DSS security conference talk on vuln-research (1:00:32 min). Watch the full video, indexed free on the Breach Arc Archive.

DeFi Security Summit - DSS · 2024 · 1:00:32

▶

Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024 — a 2024 DeFi Security Summit - DSS security conference talk on vuln-research (1:00:32 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive