Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By ACM Press

9781450355865
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)

2018 ◽  
Author(s):  
Jose Divasón ◽  
Sebastiaan Joosten ◽  
Ondřej Kunčar ◽  
René Thiemann ◽  
Akihisa Yamada
Keyword(s):  
Frobenius Theorem

Finite sets in homotopy type theory

2018 ◽  
Author(s):  
Dan Frumin ◽  
Herman Geuvers ◽  
Léon Gondelman ◽  
Niels van der Weide
Keyword(s):  
Homotopy Type ◽  
Type Theory ◽  
Finite Sets ◽  
Homotopy Type Theory

Œuf: minimizing the Coq extraction TCB

2018 ◽  
Author(s):  
Eric Mullen ◽  
Stuart Pernsteiner ◽  
James R. Wilcox ◽  
Zachary Tatlock ◽  
Dan Grossman

Binder aware recursion over well-scoped de Bruijn syntax

2018 ◽  
Author(s):  
Jonas Kaiser ◽  
Steven Schäfer ◽  
Kathrin Stark
Keyword(s):  
De Bruijn

Adapting proof automation to adapt proofs

2018 ◽  
Author(s):  
Talia Ringer ◽  
Nathaniel Yazdani ◽  
John Leo ◽  
Dan Grossman
Keyword(s):  
Proof Automation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document