Home - siegebell/vscoq GitHub Wiki

Welcome to the vscoq wiki!

Documentation

• Setup
• Tips
• Keybindings

Technical documentaion

• Building
• Coqtop XML protocol