up to Comparison home page


Benchmarks for intuitionistic propositional logic

A paper describing these benchmarks and an appendix giving the details in LWB code and Prolog are now available.


28 June 1997