Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
A type theory based theorem proving library
Haskell C Emacs Lisp
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
IOvor
Ivor
Jones
docs
emacs
examplett
lib
papers
release
tests Changed interface - TTM instead of Monad m
BUGS
INSTALL
LICENSE
Makefile
README_git
Setup.lhs
TODO
ivor.cabal
Something went wrong with that request. Please try again.