"Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style ..."

Olivier Gasquet, François Schwarzentruber, Martin Strecker (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics