Document variable naming conventions
We should
-
Convert naming.txt to markdown -
document the naming conventions for single-letter variable names -
maybe make them more consistent between Coq and LaTeX. -
Document postfixes like C, T, R, G
We should