HSeq
A simple tactical theorem prover for higher-order logic.
[ Homepage ]
| Author: | Matthew Wahab. |
| Last modification date: | 15-Jun-2006 |
| Development status: | Alpha |
| Kind: | Applications written in Caml :: Scientific software |
| License: | Open Source :: LGPL |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://code.google.com/p/hseq/ |