Links
Home
Publications
Teaching
Recent Talks
Nominal Isabelle

Handy Information
People in Logic
Programming Languages
Miscellaneous

Programming Languages

OCaml
Scala
Haskell
PolyML (Emacs mode)
SML/NJ
Description of SML
A gentle introduction to ML
Information about SML
Pizza
Logical Frameworks

Theorem Provers etc.

Isabelle
Coq
Proof General
Emacs Symbols
HOL4
HOL4-Emacs mode
Coq-Wiki
Twelf-Wiki

Last modified: Mon May 9 11:44:49 BST 2016 [Validate this page.]