GitHub repository: Kha/macro-supplement
Primary language: Lean
Created: 2020-01-25T14:25:56Z
Description: Supplemental material for the "Beyond Notations" paper