Talk:Agda theorem prover

From Wikipedia, the free encyclopedia

Retrieved from "http://en.wikipedia.org../../../a/g/d/Talk%7EAgda_theorem_prover_00c8.html"

Views

Article
Discussion
Current revision

Navigation

Main page
Contents
Featured content
Current events

interaction

About Wikipedia
Community portal
Contact us
Make a donation
Help

Search

Powered by MediaWiki

Wikimedia Foundation

This page was last modified 01:44, 6 April 2007 by Wikipedia user CMummert. Based on work by Wikipedia user(s) Parker007.
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a US-registered 501(c)(3) tax-deductible nonprofit charity.
About Wikipedia
Disclaimers