GitHub repository: kbuzzard/mathlib4_experiments
Primary language: Lean
Created: 2021-04-02T11:08:52Z
Description: Porting random files from Lean 3 mathlib into Lean 4, just for fun.