# Changeset 3516 for Papers

Ignore:
Timestamp:
Nov 17, 2014, 12:08:32 PM (4 years ago)
Message:

more on matita

Location:
Papers/jar-assembler-2014
Files:
2 edited

Unmodified
Added
Removed
• ## Papers/jar-assembler-2014/boender-jar-2014.bib

 r3514 } @inproceedings { bove:brief:2009, author = {Ana Bove and Peter Dybjer and Ulf Norell}, title = {A Brief Overview of {Agda} --- A Functional Language with Dependent Types}, booktitle = {Theorem Proving in Higher-order Logics {(TPHOLs)}}, year = {2009} } @manual { coq:2004, title = {The {Coq} proof assistant reference manual}, author =  {{The Coq development team}}, organization = {{LogiCal Project}}, note = {Version 8.0}, year = {2004}, url = {http://coq.inria.fr} } @misc { cerco:2011,
• ## Papers/jar-assembler-2014/boender-jar-2014.tex

Note: See TracChangeset for help on using the changeset viewer.