Certified Kruskal's Tree Theorem
No abstract available.
DOI 10.1007/978-3-319-03545-1_12
Related papers
- Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms CAV 2021
- A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks POPL 1986
- CompCertO: compiling certified open C components PLDI 2021
- Modular development of certified program verifiers with a proof assistant ICFP 2006
- Modular development of certified program verifiers with a proof assistant, JFP 2008
- A proof-theoretic approach to certifying skolemization CPP 2019
- Certifying Proofs in the First-Order Theory of Rewriting TACAS 2021
- Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper) CPP 2018