System Description: Twelf - A Meta-Logical Framework for Deductive Systems.

Frank Pfenning, Carsten Schrmann

Browse the full CADE paper archive.