天泣記

2017-11-30 (Thu)

#1 カリーハワード対応とCoqのあいだ

「カリーハワード対応とCoqのあいだ」という文書を少しずつ書いているのだが、 なかなか進まない。

[latest]