Hacker News new | ask | show | jobs
by Tainnor 814 days ago
Lean for proving theorems, and some complex analysis.