Qiita Engineer Festa
Participating posting campaigns0Participation
Posted articles0Articles
Following Organizations
No Organizations you are following
Followees
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @gab_km
ほげぽよ～
- @bleis
くぁ
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
1 / 1