/macro-supplement

Supplemental material for the "Beyond Notations" paper

Primary LanguageLean

Watchers