A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
ProofScript: Proof Scripting for the Masses
[chapter]
2016
Lecture Notes in Computer Science
The goal of the ProofPeer project is to make collaborative theorem proving a reality. An important part of our plan to make this happen is ProofScript, a language designed to be the main user interface of ProofPeer. Of foremost importance in the design of ProofScript is its fit within a collaborative theorem proving environment. By this we mean that it needs to fit into an environment where peers who are not necessarily part of the current theorem proving and programming language communities
doi:10.1007/978-3-319-46750-4_19
fatcat:eydmclozsva5lpzjpep3spf3s4