Comentr
$MMK_sN29GW
log in
sign up
Technology
Join this community
Share Community
Report Community
6
Report
Formalizing Text Editors in Coq
4 years ago
Anonymous
$-9GJQVHNr8
https://arxiv.org/abs/2006.03525
×
Save changes
Cancel
0
Comments
10
Voters
×
Comment
Comment Anonymously
0
Sorted By
Most Downvoted
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
160
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel