proof irrelevance.v · GitHub
Proof Summit 2019ProofSummit 2019まとめ
Proof Summit 2019AI for Isabelle/HOL
Proof Summit 2019Mathcompで文字列を使う
Proof Summit 2019300行で作るproof assistant
Proof Summit 2019Idrisの話とIdris2のウワサ
Proof Summit 2019依存型の話
Proof Summit 2018ニコニコをCoqで証明してみた
Proof Summit 2018定理証明 + 機械学習 = ?
Proof Summit 2017無条件に仮定にFalseを追加して、どんなサブゴールも消せるtactic作ったよ
Proof Summit 2017