logoalt Hacker News

varjag • yesterday at 7:59 PM • 0 replies • view on HN

You could try solving that in Lean perhaps