Naming conventions
¶
Files
¶
TODO
Modules and module types
¶
TODO
Definitions
¶
TODO
Lemmas
¶
TODO
Variables
¶
TODO
Types
¶
TODO
Predicates
¶
TODO
Projections
¶
TODO
vstyle
Navigation
Principles
FAQ
Formatting
Naming conventions
Files
Modules and module types
Definitions
Lemmas
Variables
Types
Predicates
Projections
Scope management
Definitions
Types
Ltac
Extraction to OCaml
Extraction to Haskell
Extraction to C
Project structure
Related Topics
Documentation overview
Previous:
Formatting
Next:
Scope management
Quick search