Technology

Share Community
Report Community
6

Formalizing Text Editors in Coq

4 years ago
Anonymous $-9GJQVHNr8

https://arxiv.org/abs/2006.03525

Formalizing Text Editors in Coq

Jun 8, 2020, 10:33pm UTC
$-9GJQVHNr8
https://arxiv.org/abs/2006.03525