Search Results - Chlipala, Adam

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Certified programming with dependent types. A pragmatic introduction to the coq proof assistant. by Chlipala, Adam

    Published 2013
    Book

    Save to List
    Saved in:

Search Tools: