Best Poster Award at PPL 2021
The following presentation was awarded as the best poster at PPL 2021.
- Youyou Cong. A Formalization of Counterpoint in Agda.
The poster PDF and Agda code can be found here.
Programming Research Group
Department of Mathematical and Computing Science, Tokyo Institute of Technology