Abstract

We are organizing a learning seminar on Lean, the interactive theorem prover and formal proof assistant. In this seminar, we will introduce some basic concepts of Lean, explore its capabilities, and discuss how it can be applied in mathematical research and formal verification.

 

Everyone interested in learning about Lean—regardless of prior experience—is welcome to join!

 

Organizer: Mao-Pei Tsui (NTU)