Chapter 23
依存型を使った定理証明入門
κeen
2022.09.17に更新