Hacker News new | ask | show | jobs
by lgas 250 days ago
Presumably this is aimed at people that want to take advantage of it in Lean.