-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: impermeable/waterproof-editor
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
small style changes for the "Also: " detail in Codemirrors autocomplete
#94
opened May 10, 2026 by
GitLuckier
Contributor
Loading…
332 bug lean starting subproof gives scary warning
#93
opened May 6, 2026 by
GitLuckier
Contributor
•
Draft
Add installation instructions for dependencies
#91
opened Apr 23, 2026 by
pimotte
Contributor
Loading…
Rename Coq references to Rocq/Waterproof/code
#86
opened Mar 31, 2026 by
Tammo0987
Contributor
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-04-23.