Kawazoe, Saito and Tsuyama’s Talks on formalization at TPP 2023
Kawazoe, Saito and Tsuyama presented their ongoing studies that use theorem provers at The 19th Theorem Proving and Provers meeting. Interestingly, they all use different systems (Lean, Coq and Agda).