The Logic Library ----------------- Oct 09, 2007 This library is still quite unsuable for third parties. I'll make an effort to improve it soon enough and write some documentation. Still, if you want to use it and need some questions answered, drop me an email: Paulo Matos <pocm@soton.ac.uk>
![[logo]](/logo.png){kind=logo}