https://github.com/bor0/formal-ed

Paper: Formalizing line editors in Coq
https://github.com/bor0/formal-ed

coq-formalization latex line-editor

Last synced: about 2 months ago
JSON representation

Paper: Formalizing line editors in Coq

• Host: GitHub
• URL: https://github.com/bor0/formal-ed
• Owner: bor0
• Created: 2020-06-09T06:45:09.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-10T22:56:42.000Z (over 4 years ago)
• Last Synced: 2023-03-23T05:11:42.580Z (almost 2 years ago)
• Topics: coq-formalization, latex, line-editor
• Language: TeX
• Homepage: https://arxiv.org/abs/2006.03525
• Size: 12.7 KB
• Stars: 6
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project