Link
A theorem prover for Multiplicative Linear Logics based on PROOF NETS Construction.
[ Homepage ]
| Author: | Didier Galmiche and Luc Habert. |
| Last modification date: | 16-Sep-2002 |
| Development status: | Alpha |
| Kind: | Applications written in Caml :: Others |
| License: | Open Source :: GPL |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://www.loria.fr/~notin/LINK/ |