FRESH
Hacker News
Home
Lean theorem prover mathlib
76 points by downboots
by caladin
3 subcomments
Anyone know what kinds of jobs might use lean? Or jobs that are in a related space?
