Pre-Talent Track 2025

• Session 1 (03.03.2025):
  • What is Coq?
  • Arithmetic in Coq
• Session 2 (10.03.2025):
  • The Simple Language (SPL)
• Session 3 (17.03.2025):
  • The Virtual Machine for Simple Language (SPLVM)
  • The Compiler from SPL to SPLVM

Links

• Software Foundations: https://softwarefoundations.cis.upenn.edu/