sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
39,843 Commits 4,240 Branches 120 Tags

Default Branch

master

3c32607020 · fix: incorrect borrow annotation on demangleBtLinCStr leading to segfault on panic (#12939) · Updated 2026-03-17 09:24:57 +00:00
 ZIP  TAR.GZ

Branches

sofia/async-http-server

9c87a9f044 · Merge branch 'sofia/async-http-h1' into sofia/async-http-server · Updated 2026-03-12 18:52:36 +00:00
27
612
 ZIP  TAR.GZ
sofia/async-http-h1

34c9cafc12 · fix: type · Updated 2026-03-12 18:52:29 +00:00
27
455
 ZIP  TAR.GZ
sofia/async-http-body

e359001026 · Merge branch 'sofia/async-http-uri' into sofia/async-http-body · Updated 2026-03-12 18:39:08 +00:00
27
349
 ZIP  TAR.GZ
sofia/async-http-uri

72244398dc · fix: test · Updated 2026-03-12 18:38:59 +00:00
27
251
 ZIP  TAR.GZ
joachim/string-neq-proc2

9d30f6a0c5 · perf: optimize string literal equality simprocs for kernel efficiency · Updated 2026-03-11 14:27:23 +00:00
74
2
 ZIP  TAR.GZ
joachim/string-neq-proc

e6c511a9a3 · test: add elab_bench for string literal simp performance · Updated 2026-03-11 14:18:07 +00:00
74
1
 ZIP  TAR.GZ
withEarlyReturnNewDo

c1a3636bae · feat: add withEarlyReturnNewDo variants for new do elaborator · Updated 2026-03-11 10:33:16 +00:00
38
1
 ZIP  TAR.GZ
hbv/perf_internalize

7217ddc052 · perf: faster LCNF internalization · Updated 2026-03-11 07:48:05 +00:00
43
1
 ZIP  TAR.GZ
mvcgen-invariant-attr

230dcd5cec · Merge branch 'master' into mvcgen-invariant-attr · Updated 2026-03-11 07:42:02 +00:00
43
4
 ZIP  TAR.GZ
fix-lake-ci-duplicate-test

25a72632be · fix: avoid duplicate lake test registration when LAKE_CI is on · Updated 2026-03-11 03:39:35 +00:00
55
1
 ZIP  TAR.GZ
joachim/synthRetry

560387b2e4 · perf: skip redundant typeclass synthesis retries in synthesizeSyntheticMVarsStep · Updated 2026-03-10 17:57:59 +00:00
74
1
 ZIP  TAR.GZ
mvcgen-simp

7bdea921d4 · test: apply simp theorems in SymM mvcgen' · Updated 2026-03-10 17:04:37 +00:00
49
1
 ZIP  TAR.GZ
sofia/fix-native-decide

7a852aedb6 · fix: squeeze simp and paren · Updated 2026-03-10 13:08:22 +00:00
61
8
 ZIP  TAR.GZ
kmill_fix_8488

310d3e2a8c · remove letToHave mvar dep let check · Updated 2026-03-10 13:04:47 +00:00
94
2
 ZIP  TAR.GZ
do-let-arrow-pat-expected-type

2fb69bec1f · feat: support expected type annotation in doPatDecl · Updated 2026-03-10 11:08:06 +00:00
55
1
 ZIP  TAR.GZ
grind-eta-struct-for-eq

9ecc7e2b4a · refactor: use skip lists for grind_lint tests and avoid redundant struct matching · Updated 2026-03-10 10:34:45 +00:00
74
4
 ZIP  TAR.GZ
fix-checklist-nightly-parsing

fe323eaf97 · fix: handle lean4-nightly toolchain prefix in release checklist · Updated 2026-03-10 09:10:29 +00:00
57
1
 ZIP  TAR.GZ
paul/extractdroptakenf

035baff73b · take/drop array lemmas · Updated 2026-03-10 08:43:02 +00:00
94
15
 ZIP  TAR.GZ
chore/add-leansqlite-to-release-repos

d266968343 · chore: add leansqlite to release repos · Updated 2026-03-10 08:41:06 +00:00
57
1
 ZIP  TAR.GZ
feat/lake-ci-label

073af2ad03 · fix: lake-ci no longer implies release-ci · Updated 2026-03-10 03:06:27 +00:00
79
3
 ZIP  TAR.GZ