CoqPIE: An IDE Aimed at Improving Proof Development Productivity-Reference-Cited by-同舟云学术

CoqPIE: An IDE Aimed at Improving Proof Development Productivity

Published:2016 Issue: Volume: Page:491-499
ISSN:0302-9743
Container-title:Interactive Theorem Proving
language:
Short-container-title:

Author:

Roe Kenneth,Smith Scott

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-43144-4_32

Reference28 articles.

1. Coq 8.5 beta release. https://coq.inria.fr/news/123.html . Accessed 20 Mar 2015

2. Coqoon home page. https://itu.dk/research/tomeso/coqoon/ . Accessed 19 Mar 2015

3. MIT proofs page. http://proofs.csail.mit.edu/ . Accessed 19 Mar 2015

4. Peacoq home page. http://goto.ucsd.edu/peacoq/ . Accessed 19 Mar 2015

5. Proof general. http://proofgeneral.inf.ed.ac.uk/ . Accessed 20 Mar 2015

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

1. Proof repair across type equivalences;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

2. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20

3. QED at Large: A Survey of Engineering of Formally Verified Software;Foundations and Trends® in Programming Languages;2019

4. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08

5. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018