The Coq mailing list

["Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>]

Friends and colleagues,

As many of you know, Software Foundations (http://www.cis.upenn.edu/~bcpierce/sf/) is a electronic textbook introducing functional programming, Coq proof development, and the theory of programming languages, written entirely in Coq.  It has been developed over the past five years by a large group of contributors and is widely used for both teaching and self-study.

Today, I am delighted to announce that, thanks to a dedicated team of translators, Software Foundations can now be read in Japanese!  

    http://proofcafe.org/sf

Many thanks to the translation team for this effort!

  - Akihiro Umemura
  - Koji Katayama
  - Hiroki Mizuno
  - Daichi Oohashi
  - Moe Masuko
  - Yoshihiro Imai

Share and enjoy,

    - Benjamin