Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Type theory / Functional languages / Isabelle / Lambda calculus / HOL / Id / System F / Theoretical computer science / Applied mathematics / Programming language theory


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

Document Date: 2014-08-27 06:04:04

Open Document

File Size: 479,52 KB

Share Result on Facebook
UPDATE