<--- Back to Details
First PageDocument Content
JEdit / Proof assistant / Isabelle / Plug-in / Lawrence Paulson / R / HOL / Logic for Computable Functions / Software / Computing / Logic in computer science
Date: 2014-08-27 06:04:04
JEdit
Proof assistant
Isabelle
Plug-in
Lawrence Paulson
R
HOL
Logic for Computable Functions
Software
Computing
Logic in computer science

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 1,21 MB