The Twelf Proof Assistant

@inproceedings{Schrmann2009TheTP,
  title={The Twelf Proof Assistant},
  author={Carsten Sch{\"u}rmann},
  booktitle={TPHOLs},
  year={2009}
}
Logical framework research is based on the philosophical point of view that it should be possible to capture mathematical concepts such as proofs, logics, and meaning in a formal system — directly, adequately (in the sense that there are no spurious or exotic witnesses), and without having to commit to a particular logical theory. Instead of working with one general purpose representation language, we design special purpose logical frameworks for capturing reoccurring concepts for special… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
18 Citations
7 References
Similar Papers

Similar Papers

Loading similar papers…