Algorithms in CSLib
Event details
| Date | 18.05.2026 |
| Hour | 13:15 |
| Speaker | Dr. Sorrachai Yingchareonthawornchai |
| Location | |
| Category | Conferences - Seminars |
| Event Language | English |
This talk contains two parts:
- First, I introduce CSLib as a new initiative for formalizing computer science in Lean and the current direction of the library
- Second, I will cover the analysis of basic sorting algorithms using CSLib API
Practical information
- General public
- Free
Organizer
- Guest lecture for CS-643, "Formal Mathematics with Lean and AI"
(Thomas Vidick IC-QCC)