Lean stream

33 developers

  1. 1GitHub avatar of ldct, ranked #1 in Lean on Gitroveldct@ldct48.00168 recent0 baseline
  2. 2GitHub avatar of CBirkbeck, ranked #2 in Lean on GitroveCBirkbeck@CBirkbeck29.46707 recent82 baseline
  3. 3GitHub avatar of raresbuhai, ranked #3 in Lean on Gitroveraresbuhai@raresbuhai22.0088 recent2 baseline
  4. 4GitHub avatar of utensil, ranked #4 in Lean on Gitroveutensil@utensil18.09104 recent9 baseline
  5. 5GitHub avatar of kim-em, ranked #5 in Lean on Gitrovekim-em@kim-em11.51351 recent108 baseline
  6. 6GitHub avatar of sqrt-of-2, ranked #6 in Lean on Gitrovesqrt-of-2@sqrt-of-210.67144 recent40 baseline
  7. 7GitHub avatar of lucien-ad-lucem, ranked #7 in Lean on Gitrovelucien-ad-lucem@lucien-ad-lucem10.2936 recent0 baseline
  8. 8GitHub avatar of eohjelle, ranked #8 in Lean on Gitroveeohjelle@eohjelle7.1752 recent15 baseline
  9. 9GitHub avatar of chrisromanmiller, ranked #9 in Lean on Gitrovechrisromanmiller@chrisromanmiller6.3230 recent5 baseline
  10. 10GitHub avatar of ElonSG, ranked #10 in Lean on GitroveElonSG@ElonSG5.30110 recent69 baseline
  11. 11GitHub avatar of AlyciaBHZ, ranked #11 in Lean on GitroveAlyciaBHZ@AlyciaBHZ5.1775 recent44 baseline
  12. 12GitHub avatar of SnirBroshi, ranked #12 in Lean on GitroveSnirBroshi@SnirBroshi4.6322 recent5 baseline
  13. 13GitHub avatar of themathqueen, ranked #13 in Lean on Gitrovethemathqueen@themathqueen2.9311 recent1 baseline
  14. 14GitHub avatar of mccorvie-agent, ranked #14 in Lean on Gitrovemccorvie-agent@mccorvie-agent2.8610 recent0 baseline
  15. 15GitHub avatar of fzaiser, ranked #15 in Lean on Gitrovefzaiser@fzaiser2.6712 recent4 baseline
  16. 16GitHub avatar of tb65536, ranked #16 in Lean on Gitrovetb65536@tb655362.6710 recent1 baseline
  17. 17GitHub avatar of b-mehta, ranked #17 in Lean on Gitroveb-mehta@b-mehta2.579 recent0 baseline
  18. 18GitHub avatar of tobiasgrosser, ranked #18 in Lean on Gitrovetobiasgrosser@tobiasgrosser2.3510 recent3 baseline
  19. 19GitHub avatar of jjdishere, ranked #19 in Lean on Gitrovejjdishere@jjdishere2.298 recent0 baseline
  20. 20GitHub avatar of cameronfreer, ranked #20 in Lean on Gitrovecameronfreer@cameronfreer2.008 recent2 baseline
  21. 21GitHub avatar of YaelDillies, ranked #21 in Lean on GitroveYaelDillies@YaelDillies1.888 recent3 baseline
  22. 22GitHub avatar of sgouezel, ranked #22 in Lean on Gitrovesgouezel@sgouezel1.716 recent0 baseline
  23. 23GitHub avatar of xroblot, ranked #23 in Lean on Gitrovexroblot@xroblot1.716 recent0 baseline
  24. 24GitHub avatar of JX-Mo, ranked #24 in Lean on GitroveJX-Mo@JX-Mo1.716 recent0 baseline
  25. 25GitHub avatar of grunweg, ranked #25 in Lean on Gitrovegrunweg@grunweg1.435 recent0 baseline
  26. 26GitHub avatar of felixpernegger, ranked #26 in Lean on Gitrovefelixpernegger@felixpernegger1.435 recent0 baseline
  27. 27GitHub avatar of joelriou, ranked #27 in Lean on Gitrovejoelriou@joelriou1.435 recent0 baseline
  28. 28GitHub avatar of robin-carlier, ranked #28 in Lean on Gitroverobin-carlier@robin-carlier1.435 recent0 baseline
  29. 29GitHub avatar of Brian-Nugent, ranked #29 in Lean on GitroveBrian-Nugent@Brian-Nugent1.435 recent0 baseline
  30. 30GitHub avatar of luisacicolini, ranked #30 in Lean on Gitroveluisacicolini@luisacicolini1.335 recent1 baseline
  31. 31GitHub avatar of math-fehr, ranked #31 in Lean on Gitrovemath-fehr@math-fehr1.006 recent10 baseline
  32. 32GitHub avatar of mo271, ranked #32 in Lean on Gitrovemo271@mo2710.835 recent10 baseline
  33. 33GitHub avatar of loning, ranked #33 in Lean on Gitroveloning@loning0.6727 recent147 baseline