<--- Back to Details
First PageDocument Content
Software / Proof assistants / Computing / Logic in computer science / JEdit / Isabelle / Standard ML / Plug-in / Selection / Logic for Computable Functions / HOL / Isabel
Date: 2018-08-15 07:19:03
Software
Proof assistants
Computing
Logic in computer science
JEdit
Isabelle
Standard ML
Plug-in
Selection
Logic for Computable Functions
HOL
Isabel

Add to Reading List

Source URL: www.cl.cam.ac.uk

Download Document from Source Website

File Size: 2,09 MB

Share Document on Facebook

Similar Documents

Software / Technical communication / Online help / Markup languages / DocBook / DocBook XSL / Doxygen / Oxygen XML Editor / JEdit / Graphviz / Formatting Objects Processor / Nullsoft Scriptable Install System

DCMMS Development Guide Maher Abdel Karim Steffen Macke Maher Abdel Karim Abdulqader Jaradat

DocID: 1r2zF - View Document

Software / Technical communication / Online help / Markup languages / DocBook / DocBook XSL / Doxygen / Oxygen XML Editor / JEdit / Graphviz / Formatting Objects Processor / Nullsoft Scriptable Install System

DCMMS Development Guide Maher Abdel Karim Steffen Macke Maher Abdel Karim Abdulqader Jaradat

DocID: 1qYhv - View Document

GNU LilyPond / Portable software / NoteEdit / GIMP / Multimedia / JEdit / Plug-in / Ly / Medical transcription / Software / Music notation file formats / Cross-platform software

FOSS Multimedia This presentation describes the FOSS tools used to  create a mock­up of a music video being developed.   Unfortunately, the mock­up uses pictures that are  copyrighted and wi

DocID: 18WYW - View Document

GTK+ / Gedit / Application programming interfaces / JEdit / Source code editor / Text editor / UltraEdit / Kate / Code folding / Software / Source code / GNOME

GROUP TEST ADVANCED TEXT EDITORS ADVANCED TEXT EDITORS GROUP TEST

DocID: 18P6L - View Document