Troubleshooting

Common Issues

Server Connection Errors

• Ensure pet-server is running: pet-server -p 8765

• Verify port availability

File Path Issues

• Use absolute paths or ensure working directory is correct

• Check file exists and has proper Coq/Rocq syntax

Installation Issues

• Ensure coq-lsp is properly installed

• Install lwt and logs before coq-lsp (required for pet-server)