Pre-Talent Track 2021

• Session 1 (17.03.2021):
• Coq code
• Exercises
• Session 2 (24.03.2021):
• Coq code & exercises
• Session 3 (07.04.2021):
• Coq code

Links

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