EnglishbookID: 54858e51
Certified Programming with Dependent Types
Category
BY PROGRAMMING LANGUAGE / Rocq Prover
External Link
http://adam.chlipala.net/cpdt/html/toc.htmlYour Library
BY PROGRAMMING LANGUAGERocq Prover
Open Resource ↗BY PROGRAMMING LANGUAGE / Rocq Prover