leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Stas Bekman
stas00
Toolmaker. Author. Software creator, optimizer and harmonizer. Makes things work.
Current domains: LLM/Training/Inference/Scalability/Machine Learning
Stasosphere Online Inc. / BC, Canada
Rumen Dangovski
rdangovs
Google DeepMind | ex. MIT BSc + PhD
Massachusetts Institute of Technology, 6C-413