Revision as of 13:40, 8 August 2011 edit Ruud Koot (talk \| contribs) 31,416 edits No edit summary ← Previous edit		Revision as of 07:07, 9 August 2011 edit undo Boleyn (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers 308,005 edits +incomp dab tag Next edit →
Line 1: {{incompdab}} {{refer}} * [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover.

ALF (programming language): Difference between revisions