Prawf: an interactive proof assistant for program extraction (CIE 2020 talk) Facebook Twitter LinkedIn WhatsApp Messenger Email