| 2024-10-02 |
leanprover-community / mathlib3 |
1668 |
|
| 2024-09-08 |
eric-wieser / lean-matrix-cookbook |
77 |
|
| 2024-07-31 |
lecopivo / SciLean |
277 |
|
| 2024-07-17 |
leanprover / leansat |
41 |
|
| 2024-06-25 |
lurk-lab / yatima |
106 |
|
| 2024-06-10 |
ImperialCollegeLondon / FLT |
211 |
|
| 2024-06-02 |
microsoft / AliveInLean |
32 |
|
| 2024-05-30 |
loganrjmurphy / LeanEuclid |
38 |
|
| 2024-05-16 |
sinhp / Poly |
|
|
| 2024-05-10 |
cedar-policy / cedar-spec |
79 |
|
| 2024-05-07 |
leanprover-community / batteries |
241 |
|
| 2024-05-02 |
kevinsullivan / AffineSpace |
|
|
| 2024-04-25 |
leanprover-community / con-nf |
51 |
|
| 2024-04-22 |
NUS-Math-Formalization / coxeter |
8 |
|
| 2024-04-21 |
cmu-l3 / llmlean |
20 |
|
| 2024-04-13 |
leanprover / SampCert |
25 |
|
| 2024-03-31 |
riccardobrasca / flt3 |
29 |
|
| 2024-03-28 |
riccardobrasca / LFTCM2024 |
1 |
|
| 2023-09-01 |
mhuisi / lean4-cli |
43 |
|
| 2023-08-31 |
paulcadman / lean4-leetcode |
4 |
|
| 2023-08-26 |
kevinsullivan / cs2120f23 |
3 |
|
| 2023-07-31 |
katydid / coq-lean-cheatsheet |
11 |
|
| 2023-07-27 |
yuma-mizuno / lean-math-workshop |
41 |
|
| 2023-07-24 |
rami3l / plfl |
22 |
|
| 2023-07-19 |
gebner / quote4 |
52 |
|
| 2023-07-18 |
leanprover-community / lean4-metaprogramming-book |
130 |
|
| 2023-07-15 |
avigad / lean-auto |
17 |
|
| 2023-07-13 |
mariainesdff / skew_polynomials |
|
|
| 2023-07-05 |
avigad / mathematics_in_lean_source |
65 |
|
| 2023-06-28 |
adamtopaz / CopenhagenMasterclass2023 |
3 |
|
| 2023-06-17 |
leanprover-community / mathematics_in_lean |
183 |
|
| 2023-06-14 |
second-state / mcm |
|
|
| 2023-05-23 |
dannypsnl / parsec-extra |
|
|
| 2023-04-10 |
JLimperg / aesop |
89 |
|
| 2023-04-06 |
leanprover-community / repl |
55 |
|
| 2023-03-21 |
yatima-inc / yatima |
49 |
|
| 2023-03-09 |
leanprover / lake |
83 |
|
| 2023-03-07 |
zhangir-azerbayev / ProofNet |
28 |
|
| 2023-02-17 |
risc0 / risc0-lean4 |
21 |
|
| 2023-02-09 |
brown-cs22 / CS22-Lean-2023 |
12 |
|
| 2023-01-12 |
yatima-inc / YatimaStdLib.lean |
5 |
|
| 2022-12-24 |
yatima-inc / Lurk.lean |
5 |
|
| 2022-12-12 |
Kha / aoc-2022 |
5 |
|
| 2022-12-03 |
yatima-inc / Bellanova.lean |
1 |
|
| 2022-11-30 |
0art0 / lean3-statement-translation-tool |
5 |
|
| 2022-11-30 |
ImperialCollegeLondon / tcc-lean-alg-geom-2022 |
7 |
|
| 2022-11-21 |
leanprover-community / mathlib3port |
8 |
|
| 2022-11-21 |
blanchette / logical_verification_2021 |
19 |
|
| 2022-11-18 |
EdAyers / WidgetKit |
2 |
|
| 2022-11-02 |
blanchette / logical_verification_2022 |
8 |
|
| 2022-10-30 |
JamesGallicchio / eternity2 |
3 |
|
| 2022-09-19 |
mo271 / formal_book |
11 |
|
| 2022-09-06 |
PatrickMassot / lean-verbose |
48 |
|
| 2022-09-01 |
leanprover / std4 |
199 |
|
| 2022-08-25 |
AndrasKovacs / smalltt |
395 |
|
| 2022-08-25 |
BartoszPiotrowski / lean-premise-selection |
2 |
|
| 2022-08-13 |
leanprover / lean4-samples |
25 |
|
| 2022-07-30 |
plfa / plfl |
6 |
|
| 2022-07-17 |
ImperialCollegeLondon / natural_number_game |
215 |
|
| 2022-07-11 |
leanprover-community / lftcm2020 |
54 |
|
| 2022-07-03 |
yatima-inc / straume |
1 |
|
| 2022-06-17 |
zhangir-azerbayev / lean-chat |
25 |
|
| 2022-06-03 |
Faris999 / indonesian-mo-formalization |
2 |
|
| 2022-05-17 |
yatima-inc / yatima-lang |
36 |
|
| 2022-04-20 |
IPDSnelting / tba-2022 |
|
|
| 2022-03-26 |
arthurpaulino / lean4-metaprogramming-book |
33 |
|
| 2022-03-18 |
siddhartha-gadgil / lean-loris |
8 |
|
| 2022-03-01 |
igithublab / MT1300 |
54 |
|
| 2022-02-21 |
leanprover-community / mathlib4 |
1441 |
|
| 2022-02-19 |
leanprover-community / tutorials |
177 |
|
| 2022-02-15 |
leanprover / lean4 |
4575 |
|
| 2022-02-15 |
leanprover-community / lean-liquid |
125 |
|
| 2022-02-14 |
leanprover-community / mathlib |
1657 |
|
| 2022-02-14 |
ImperialCollegeLondon / formalising-mathematics-2022 |
85 |
|
| 2022-02-14 |
openai / lean-gym |
57 |
|
