yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
iitaka1142
morita_hm
lion
SUHARA Hiromichi
ProofCafe -名古屋Coq勉強会- の共同主催者です。 問い合わせは、twitter ...
hitbit
shinichi__
ProofCafe
You can get notifications about events that your friends attend or organize via email or the highlight page.
Learn More (Japanese)