Narrating Formal Proof (Work in Progress)

Carst Tankink, Herman Geuvers, James McKinna

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Narrating Formal Proof (Work in Progress)'. Together they form a unique fingerprint.

Computer Science