Proof Server

Members

• @cho_tekitou
• @dico_leque
• @keigoi
• @keita44_f4
• @m09054m
• @t6s
• id:mzp
• id:yoshihiro503

Software

• coq2scala
• coq to ruby
• coq2closure
• ocamltter
• MessagePack-ocaml
• OCaml Toplevel on Android

Services

• Software Foundations (Japanese)
• Cochin
• CalCoq
• 数理大好き
• 広告

Links

• ProofCafe
• けんろん！(休日カフェタイム, KCTNagoya)
• ocaml-nagoya
• どえりゃあ Haskell (Curry-ya Haskell)
• TAPL-nagoya