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, Institute of Science Tokyo (née Tokyo Institute of Technology)