Back to Results
First PageMeta Content
Logic in computer science / OCaml / Automated theorem proving / HOL / Caml / Proof assistant / ML / Read–eval–print loop / Isabelle / Software / Computing / Functional languages


HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract
Add to Reading List

Document Date: 2011-01-12 14:03:23

Open Document

File Size: 892,21 KB

Share Result on Facebook

Company

Waterloo Maple / /

/

IndustryTerm

theorem proving systems / Web search / computer algebra systems / printing / Web site http /

OperatingSystem

Unix / Microsoft Windows / Unix-like / Cygwin / Linux / /

Person

Mike Gordon / John Harrison / /

Product

Maple / /

ProgrammingLanguage

R / Objective CAML / Camlp4 / /

Technology

functional programming / 134 18.3 RSA encryption / html / Linux system / operating systems / Linux / Unix / /

URL

http /

SocialTag