Following Organizations
No Organizations you are following
Followees
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
1 / 1
No Organizations you are following
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Coqなどによるプログラムの正しさの検証・証明に興味があります。