Home

Welcome to the vscoq wiki!

VsCoq weekly call

VsCoq developers meet in a weekly call.

Documentation

• Setup
• Tips
• Keybindings

Technical documentaion

• Building
• Coqtop XML protocol

Current state

	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