Formatting
¶
Spaces, tabs
¶
Do not use tabs.
Line length
¶
120 characters.
Indentation
¶
TODO
Non-ASCII characters
¶
TODO
Notation
¶
vstyle
Navigation
Principles
FAQ
Formatting
Spaces, tabs
Line length
Indentation
Non-ASCII characters
Notation
Naming conventions
Scope management
Definitions
Types
Ltac
Extraction to OCaml
Extraction to Haskell
Extraction to C
Project structure
Related Topics
Documentation overview
Previous:
FAQ
Next:
Naming conventions
Quick search