Revision as of 14:25, 25 November 2007 edit Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. ← Previous edit		Revision as of 21:54, 12 December 2007 edit undo Greenrd (talk \| contribs) Extended confirmed users 14,722 edits m subcatted Next edit →
Line 27: {{software-stub}} [[Category:Theorem proving software systems]]▼ [[Category:Functional languages]] ▲[[Category:~~Theorem~~Interactive theorem proving software ~~systems~~]]

Agda (programming language): Difference between revisions