3 Talks on formalization at TPP 2023

Three students present their work at The 19th Theorem Proving and Provers meeting.

Tsuyama, “Intrinsically typed compiler with optimization for first class continuation”
Kawazoe, “Formalizing λ□ in Lean”
Saito, “Formalization of probabilistic programming language based on intrinsically typing using Coq”