LEO-II is a standalone, resolution-based higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments of higher-order logic such as first-order and propositional logic. Currently LEO-II cooperates with the first-order automated theorem...
Archive by category 'Announcements'
Updates on the group:
1. The group leader, Masoom Alam is back from Austria after completing his PhD. Now, we should be getting better communication and less noise in the group.
2. Our paper on formalization of UML and OCL meta-model has been accepted at INMIC 2007. We’ll be posting the theory...