• Formalizing Text Editors in Coq https://arxiv.org/abs/2006.03525 36 comments 8/6/2020

Related searches:

Search whole site: site:arxiv.org

Search title: [2006.03525] Formalizing line editors in Coq

See how to search.