Back to Results
First PageMeta Content
Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving


Tobias Nipkow Programming and Proving in Isabelle/HOL le l
Add to Reading List

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


Open Document

File Size: 497,41 KB

Share Result on Facebook