Hacker News new | ask | show | jobs
by qguv 235 days ago
Nota bene: their Github link 404s, and there are goofy LaTeX mixed in with their Lean snippets.
1 comments
mcdonje 235 days ago
Why did you share it then?
link