Prawf: An Interactive Proof System for Program Extraction.

Ulrich Berger, Olga Petrovska, Hideki Tsuiki

Browse the full CiE paper archive.