Yoshihiro Imai

  • Proof Engineer using Coq
  • Software Engineer using OCaml and Scala

Jobs

Contact

Software

Books

Talks & Lectures

Academic Activity

Study Circle Membership