eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
slipstream
kappa
SUHARA Hiromichi
ProofCafe -名古屋Coq勉強会- の共同主催者です。 問い合わせは、twitter ...
nekonibox
理学博士。専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを使った形式証明...
coqtokyo
You can get notifications about events that your friends attend or organize via email or the highlight page.
Learn More (Japanese)