AIM8 （三日目）

開始は9時半から。
本日の講演は "A Tool for Automated Theorem Proving in Agda" (Fredrik Lindblad)のみ。定理の自動証明の効率化を図るツールをAgdaに実装する話。すみません、よく覚えていません、はい。