Skip to main content

Tag Certified Programming

1 Time 1 Work 1 Member 2 Aliases

Tagged Works

Covers
List

Sort Count Weighted Popular

All
This year
Last 2 years
Last 5 years
Last 10 years
Before 1900
Custom

All
Ebook
Audiobook

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)

1

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press) by Adam Chlipala

show more show less

Using the Tag

Aliases and Translations

Includes: Certified Programming, certified programming

Related Tags

Loading...

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson