4 ms·

Nota bene: their Github link 404s, and there are goofy LaTeX mixed in with their Lean snippets.

• mcdonje 1y ago
  Why did you share it then?