83 pointsby downboots2 months ago2 comments

fjfaase2 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.
caladin2 months ago
Anyone know what kinds of jobs might use lean? Or jobs that are in a related space?
- giltho2 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.
- griffzhowl2 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-...
- 2 months ago
  undefined