Back to Results
First PageMeta Content
JEdit / Proof assistant / Isabelle / Plug-in / Lawrence Paulson / R / HOL / Logic for Computable Functions / Software / Computing / Logic in computer science


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

Open Document

File Size: 1,21 MB

Share Result on Facebook
UPDATE