fjfaase
2 months ago
I see a lot of maintainers specialized in topology and category theory, but non in graph theory. I wonder if this is also reflected in the areas that are covered by the library.
Lean theorem prover mathlib
83 pointsposted 2 months ago
by downboots5 Comments
caladin
2 months ago
Anyone know what kinds of jobs might use lean? Or jobs that are in a related space?
giltho
2 months ago
Beyond academic research, a non-exhaustive list of people using either Lean or related tech:
- Amazon (where they even hired the creator of Lean to pursue this)
- Microsoft (mostly cryptography but also other stuff) - ARM (hardware verification)
- Apple (hardware verification, that I'm aware of)
- Lots of companies verifying things for blockchain technologies if you're into that
- More specialised companies, e.g. Galois Inc.
griffzhowl
2 months ago
You could have a look at the job postings on the Lean zulip chat. They're mainly on the academic side, though
https://leanprover.zulipchat.com/#narrow/channel/284757-job-...
user
2 months ago
[deleted]