Cooperative Repositories for Formal Proofs-Reference-Cited by-同舟云学术

Cooperative Repositories for Formal Proofs

Published: Issue: Volume: Page:221-234
ISSN:0302-9743
Container-title:Towards Mechanized Mathematical Assistants
language:
Short-container-title:

Author:

Corbineau Pierre,Kaliszyk Cezary

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73086-6_19.pdf

Reference15 articles.

1. Kaliszyk, C.: Web interfaces for proof assistants. In: Autexier, S., Benzmüller, C. (eds.) Proceedings of the FLoCs Workshop on User Interfaces for Theorem Provers (UITP-06), Seattle, pp. 53–64 (To be published in ENTCS) (2006)

2. Paulson, L.D.: Building rich web applications with ajax. Computer 38(10), 14–17 (2005)

3. Lecture Notes in Computer Science;T. Nipkow,2002

4. Coq Development Team: The Coq Proof Assistant Reference Manual Version 8.0. INRIA-Rocquencourt (January 2005), http://coq.inria.fr/doc-eng.html

5. Muzalewski, M.: An Outline of PC Mizar. Fondation Philippe le Hodey, Brussels (1993)

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

1. Isabelle Import Infrastructure for the Mizar Mathematical Library;Lecture Notes in Computer Science;2018

2. Wikis and Collaborative Systems for Large Formal Mathematics;Semantic Web Collaborative Spaces;2016

3. Towards Knowledge Management for HOL Light;Lecture Notes in Computer Science;2014

4. Proof in Context — Web Editing with Rich, Modeless Contextual Feedback;Electronic Proceedings in Theoretical Computer Science;2013-07-05

5. Communicating Formal Proofs: The Case of Flyspeck;Interactive Theorem Proving;2013