1. 10

The Coq implementation can be found on Github

  1.