tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
takumi-kato
kappa
SUHARA Hiromichi
ProofCafe -名古屋Coq勉強会- の共同主催者です。 問い合わせは、twitter ...
ITO Kensei
Scalaでエンジニア人生を始めた数学徒 HTT/HoTT/Coq
nickname123
プログラマー見習い。形式証明に憧れています。
チェシャ猫
著名ねこみみエンジニア
tanaka_akr
KanSAKAMOTO
えび
えびです。京都在住のプログラミングオタクの一人。 仕事ではTypeScriptとかRubyとか...
yukiyam99999999999999999999999
koba1014
線形代数10級
coqtokyo
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら