Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings > Experience Implementing a Performant Category-Theory Library in Coq
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings |
Gerwin Klein; Ruben Gamboa
Springer International Publishing
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Experience Implementing a Performant Category-Theory Library in Coq
Authors

Jason Gross; Adam Chlipala; David I. Spivak

ARI Id

1664710971415_2857073

Access

Not Available Free

Pages

275-291

DOI

10.1007/978-3-319-08970-6_18

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-08970-6_18

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings