2022年度秋・Affeldt氏集中講義

• Lecture notes : Karate-Coq Nagoya
• Updated version version of the Karate-Coq (author's version).