Jens Otten. leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). In Alessandro Armando, Peter Baumgartner, Gilles Dowek, editors, Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Volume 5195 of Lecture Notes in Computer Science, pages 283-291, Springer, 2008. [doi]
Abstract is missing.