Integrating an Automated Theorem Prover into Agda

Foster, Simon and Struth, Georg (Submitted: 2011) Integrating an Automated Theorem Prover into Agda. In: NASA Formal Methods Symposium. NASA Formal Methods Symposium, 18-20 Apr 2011, Pasadena, CA. Lecture Notes in Computer Science (6617). Springer , pp. 116-130.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Foster, Simon (s.foster@dcs.shef.ac.uk)
  • Struth, Georg (g.struth@dcs.shef.ac.uk)
Copyright, Publisher and Additional Information:

Copyright Springer, 2011. This is an author produced version of the published paper. Uploaded in accordance with the publisher's self-archiving policy.

Keywords: dependent types, automated theorem prover, agda, proof assistant
Dates:
  • Submitted: 18 December 2011
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
EPSRC
EP/G031711/1
Depositing User: Dr Simon Foster
Date Deposited: 27 Oct 2011 09:25
Last Modified: 19 Dec 2022 13:24
Published Version: http://dx.doi.org/10.1007/978-3-642-20398-5_10
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-642-20398-5_10
Open Archives Initiative ID (OAI ID):

Export

Statistics