7 ms·

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

• mcdonje 11mo ago
  Why did you share it then?