Category:Proof assistants
Pages in category "Proof assistants"
The following 28 pages are in this category, out of 28 total. This list may not reflect recent changes.
This is the current revision of this page, as edited by Ruud Koot (talk | contribs) at 13:26, 21 September 2011 (Category:Dependently typed programming). The present address (URL) is a permanent link to this version.
The following 28 pages are in this category, out of 28 total. This list may not reflect recent changes.