Pick better names for LaTeX macros for judgments

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

5 stars 0 forks source link

Pick better names for LaTeX macros for judgments #23

Closed nrnrnr closed 7 months ago

nrnrnr commented 7 months ago

For inspiration see files jforms.tex, soundness.tex

These names may be a little too abbreviated, but at least they are readable.