bor0/formal-ed

Paper: Formalizing line editors in Coq

语言：TeX · GitHub 星标：8 · Fork：0

话题：coq-formalization · latex · line-editor

在 GitHub 上查看原仓库