1.Coq 2010 08/29 Coq IT 2. • id: yoshihiro503 • @yoshihiro503 • :• ocaml-nagoya• ProofCafe• Formal Method 3. Coq• INRIA (Proof Assistant)• OCaml 4. Isabelle/HOLACL2…
