leanprover-community/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
CSSMIT
Stargazers
- a1ip@PPA4IPA
- AizmansorJohor Bahru
- albamath
- alexjbestKing's College London
- alreadydoneHeidelberg / Shenzhen
- Ampher-4
- AtticusKuhnCambridge, United Kingdom
- benjamindavidsonNew York City
- ccmywish@RubyMetric
- ch4ot1c
- DardrichUniversitas Indonesia
- egretwAlker
- greenzebra604
- hackerkid@yelp @diffblog
- huynhtrankhanh@coq-community
- J1SouzaUSA
- jcommelin—
- jg-fisherPlanet Technologies
- Josh-Tilles
- kammitama5University of Vermont
- lendenmc
- longfangsongGöteborg, Sverige
- malaikaaiyar
- MATRIXKOO@Vidar-Team @InProgramming
- minalspatilUmeå universitet
- nikitavoloboevMadrid
- PatrickMassotParis
- Quantalabs@FRC1458
- QuantumGhostGPG: 0xB29A14086516184D
- ScallionsCACSM
- SchrodingerZhuUniversity of Rochester
- sdkjahfk
- seanpm2001Self-employed; looking for tips
- waldyrious@feedzai
- wasd96040501
- WikeOutWest