Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA.

Felix A. Wolf, Malte Schwerhoff, Peter Mller

Browse the full FM paper archive.