Kaiko

@kaiko_math

0
Posts 11
Followees 2
Followers

HaskellとAgdaを学び始めた大学院生

Following Organizations

No Organizations you are following

Following tags(8)See all

圏論 Coq 定理証明 Agda テスト関数型言語ソフトウェア工学 Haskell

Contributions

No contributions