Back to Results
First PageMeta Content
Mathematical logic / Logic / Mathematics / Automated theorem proving / Proof theory / Logic in computer science / Proof assistants / Type theory / Isabelle / Mathematical proof / Automated reasoning / Proof


Document Date: 2018-08-15 07:19:07


Open Document

File Size: 1,56 MB

Share Result on Facebook
UPDATE