GitHub repository: xubaiw/Unicode.lean
Primary language: Lean
Created: 2022-02-15T19:16:32Z
Description: Unicode stuff for Lean 4! ✌️