Jens Otten
leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic
IJCAR, 2008.
@inproceedings{IJCAR-2008-Otten,
author = "Jens Otten",
booktitle = "{Proceedings of the Fourth International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-540-71070-7_23",
isbn = "978-3-540-71069-1",
pages = "283--291",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic}",
volume = 5195,
year = 2008,
}