GitHub - bor0/formal-ed: Paper: Formalizing line editors in Coq · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
paper		paper
ed_defs.v		ed_defs.v
ed_lemmas.v		ed_lemmas.v
ed_proofs.v		ed_proofs.v

About

Paper: Formalizing line editors in Coq

arxiv.org/abs/2006.03525

latex coq-formalization line-editor

Report repository

Releases

No releases published

Packages

Contributors

Languages