Materials for Adam Chlipala's MSFP'10 Tutorial

  • Development snapshot of Bedrock framework
  • Template of demo code
  • Solutions to template


  • More information on Coq hacking in my online textbook, Certified Programming with Dependent Types