Home
Research
Publications
Talks
Teaching
Service
Blog
Amin Timany
Home
Teaching
Pre-Talent Track 2023
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/