School Colloquium by Dr. Kevin Cheung
February 13, 2026 at 3:30 PM to 4:30 PM
| Location: | HP 4351, Macphail Room, Herzberg Building, 4th floor Herzberg Laboratories |
The School of Mathematics and Statistics will be holding a Colloquium on Friday, February 13, 2026.
- Title: Leaning Towards Formal Proofs
- Speaker: Dr. Kevin Cheung, School of Mathematics and Statistics, Carleton University
- Abstract: In recent years, there has been increasing interest among mathematicians in using the Lean interactive theorem prover to develop formal proofs. In this talk, I will give a brief introduction to Lean and share some personal experiences using the system.