Go to Qiita Advent Calendar 2024 Top

@shimomura1004@github

0
Posts 4
Followees 5
Followers

Following Organizations

No Organizations you are following

Following tags(2)See all

Followees

@yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
@suer
@banjun
MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。