Go to Qiita Advent Calendar 2024 Top

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

Following Tags

Find Tags to follow