Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.

Dominik Dietrich, Ewaryst Schulz, Marc Wagner

Browse the full AISC paper archive.