-
Notifications
You must be signed in to change notification settings - Fork 68
Home
Laurent Théry edited this page Feb 14, 2023
·
12 revisions
Welcome to the vscoq wiki!
VsCoq developers meet in a weekly call.
Coqide | PG | VsCoq 1 | VsCoq2 | |
---|---|---|---|---|
Syntax Highlighting | X | X | X | X |
Search Panel | X | X | ||
Compile Before Req | X | |||
jump to definition | X | |||
Hover on identifier | X | X | ||
Automatic format | X | |||
Shrink Proof Block |