Pre-Talent Track 2023

• Session 1 (22.02.2023):
  • What is Coq?
  • Arithmetic in Coq [Developed in class]
• Session 2 (01.03.2023):
  • The Simple Language (SPL) [Developed in class]
  • The SPL Virtual Machine [Developed in class]
• Files to be used during session 3 (08.03.2023):
  • The Simple Language (SPL), bfore session 3
  • The SPL Virtual Machine, before session 3
• Session 3 (08.03.2023):
  • The compiler from SPL to SPLVM [Developed in class]

Links

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