Untangling mechanized proofs-Reference-Cited by-同舟云学术

Untangling mechanized proofs

Published:2020-11-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering
language:
Short-container-title:

Author:

Pit-Claudel Clément¹^ORCID

Affiliation:

1. Massachusetts Institute of Technology, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3426425.3426940

Reference57 articles.

1. Structured calculational proof

2. Interactive Theorem Proving and Program Development

3. Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq

4. Mike Bostock Jason Davies Jefrey Heer Vadim Ogievetsky and community. 2011. D3.js: Data-Driven Documents. (Feb. 2011 ). https: //d3js.org/. Mike Bostock Jason Davies Jefrey Heer Vadim Ogievetsky and community. 2011. D3.js: Data-Driven Documents. (Feb. 2011 ). https: //d3js.org/.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CryptoZoo: A Viewer for Reduction Proofs;Lecture Notes in Computer Science;2024

2. Lorgnette: Creating Malleable Code Projections;Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology;2023-10-29

3. PRoofster: Automated Formal Verification;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05

4. Colaroid: A Literate Programming Approach for Authoring Explorable Multi-Stage Tutorials;Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19

5. Machine-Learned Premise Selection for Lean;Lecture Notes in Computer Science;2023