Ever heard of formal verification? A field where you apply computers to verify that even more computers work. It's used in so-called "mission critical" lines (planes, etc.), here you will get updated on what can be done with formal verification and how you can get started with this. It will focus on the Lean theorem prover, a recent albeit very interesting software fostering a large community of mathematicians working like hackers in a monorepo of mathematics (mathlib).

---

Speakers for Tour of formal verification with the Lean theorem prover:

---

Metadata for Tour of formal verification with the Lean theorem prover

To be recorded: No

---

URLs for Tour of formal verification with the Lean theorem prover

No URLs found.

---

Schedule for Tour of formal verification with the Lean theorem prover

• Sunday, Jul 21st, 2024, 14:20 (CEST) - Sunday, Jul 21st, 2024, 14:30 (CEST) at Speakers Tent