Skip to content
A type theory based theorem proving library http://www.cs.st-andrews.ac.uk/~eb/ivor.php
Haskell C Emacs Lisp
Find file
Pull request Compare This branch is 18 commits ahead, 1 commit behind avsm:master.
Latest commit 23d8bc6 Edwin Brady Fix refine bug
Something went wrong with that request. Please try again.