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

IndustryTerm

plugin server-infrastructure / tried tools / asynchronous document processing / web services etc / application startup / Arbitrary add-on tools / continuous proof processing / commandline tools / build tool / /

OperatingSystem

Microsoft Windows / Mac OS X / Linux / /

Person

Lawrence C. Paulson / /

Position

Editor / Manager of jEdit / General / Plugins The Plugin Manager / plain text editor / text editor / jEdit text editor / /

ProgrammingLanguage

ML / Standard ML / Java / Scala / /

PublishedMedium

The Isabelle NEWS / /

Technology

operating system / HTML / Java / Linux / PDF / GUI / /

URL

http /

SocialTag