Compatibility with existing guides

[intoverflow]

Many projects already have their own style guides.

• How does vstyle compare?
• What insights can vstyle get from these existing resources?

Please link to existing guides in the comments.

[intoverflow]

• CoqStyle
• math-comp
• Iris
• UniMath
• Gerwin's Style Guide for Isabelle/HOL
• QED at Large: A Survey of Engineering of Formally Verified Software

[intoverflow]

• Anti-patterns
• Deep generation of Coq lemma names using elaborated terms
• Learning to format Coq code using language models
• Verdi style guide
• HoTT style guide

[intoverflow]

• Tricks in Coq