Pre-Talent Track 2024

• Session 1 (01.02.2024):
  • What is Coq?
  • Arithmetic in Coq
• Session 2 (08.02.2024):
  • The Simple Language (SPL)
  • The SPL Virtual Machine
• Session 3 (15.02.2024):
  • The compiler from SPL to SPLVM

Links

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