Back to Results
First PageMeta Content
Mathematical logic / Logic / Automated theorem proving / Proof assistants / Theoretical computer science / Logic in computer science / Abstraction / Nuprl / Constructivism / Type theory / Mathematical proof / Robert Lee Constable


Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract
Add to Reading List

Document Date: 2012-06-04 13:35:50


Open Document

File Size: 34,74 KB

Share Result on Facebook
UPDATE