Back to Results
First PageMeta Content
Proof assistants / Automated theorem proving / Logic in computer science / Type theory / Automath / Logic for Computable Functions / Nqthm / Proof theory / ACL2 / Mathematical proof / Andrzej Trybulec / Isabelle


Can the computer really help us to prove theorems?
Add to Reading List

Document Date: 2011-11-17 12:13:56

Open Document

File Size: 301,30 KB

Share Result on Facebook
UPDATE