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

$ analyze @kaiko_math

posted articles:

No data

answered questions:

No data

Articles Questions Likes

Posted Articles Commented Articles Edit Requests