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

copilot/fix-wfrec-instance-reproducible

c15c7f2d49 · Fix instance_reducible not being preserved for WF-recursive definitions · Updated 2026-03-03 15:48:38 +00:00
124
2
 ZIP  TAR.GZ
kim/vscode-settings

0ad35b63c8 · chore: replace workspace file with .vscode/ settings · Updated 2026-03-03 03:01:53 +00:00
129
1
 ZIP  TAR.GZ
state_run

39aab44336 · fix: use explicit ReaderT.run to avoid accidental recursion · Updated 2026-03-03 03:00:57 +00:00
176
7
 ZIP  TAR.GZ
hack-comment-isNonTrivialRegular

126b1d56ec · chore: add HACK banner to isNonTrivialRegular transparency check · Updated 2026-03-03 00:30:52 +00:00
131
1
 ZIP  TAR.GZ
constructorNameAsVariable_all

8ab452c991 · fix: delete empty .out.expected files instead of leaving them empty · Updated 2026-03-02 23:57:53 +00:00
176
6
 ZIP  TAR.GZ
deriving-noncomputable-instance

9940f2540c · fix: use trimAscii instead of deprecated trim · Updated 2026-03-02 23:20:10 +00:00
139
2
 ZIP  TAR.GZ
hbv/popcount

82e29deff9 · more · Updated 2026-03-02 15:54:22 +00:00
135
2
 ZIP  TAR.GZ
paul/array-mergeSort

3be124112c · don't save to png file · Updated 2026-03-02 09:57:03 +00:00
138
13
 ZIP  TAR.GZ
paul/iterators/improvements2

ec41585523 · sum consumer · Updated 2026-03-02 09:46:20 +00:00
138
3
 ZIP  TAR.GZ
paul/shouldInline_simplify

f63c803585 · test performance implications of implicit_reducible · Updated 2026-03-02 09:25:44 +00:00
138
2
 ZIP  TAR.GZ
shouldInline_simplify

3aff8d1c0d · refactor: replace isImplicitReducible with Meta.isInstance in shouldInline · Updated 2026-03-02 08:46:01 +00:00
138
1
 ZIP  TAR.GZ
paul/base/iterators/improvements2

cda84702e9 · doc: add guidance on waiting for CI/merges in release command (#12755) · Updated 2026-03-02 02:49:34 +00:00
138
0
 Included
 ZIP  TAR.GZ
paul/idlint

457f3c20cf · chore: update stage0 · Updated 2026-03-01 22:49:20 +00:00
144
5
 ZIP  TAR.GZ
doc/release-wait-guidance

91c43040f4 · doc: add guidance on waiting for CI/merges in release command · Updated 2026-03-01 21:40:37 +00:00
139
1
 ZIP  TAR.GZ
dependabot/github_actions/actions/create-github-app-token-2.2.1

1e12c1c2e4 · chore: CI: bump actions/create-github-app-token from 2.0.2 to 2.2.1 · Updated 2026-03-01 20:35:17 +00:00
139
1
 ZIP  TAR.GZ
dependabot/github_actions/actions/upload-artifact-7

e560f1b24e · chore: CI: bump actions/upload-artifact from 5 to 7 · Updated 2026-03-01 20:35:11 +00:00
139
1
 ZIP  TAR.GZ
dependabot/github_actions/actions/download-artifact-8

277030ce43 · chore: CI: bump actions/download-artifact from 7 to 8 · Updated 2026-03-01 20:35:06 +00:00
139
1
 ZIP  TAR.GZ
dependabot/github_actions/dawidd6/action-download-artifact-16

19413a20b5 · chore: CI: bump dawidd6/action-download-artifact from 11 to 16 · Updated 2026-03-01 20:35:02 +00:00
139
1
 ZIP  TAR.GZ
paul/base/idlint

82171a6bff · cleanups · Updated 2026-03-01 19:43:48 +00:00
144
3
 ZIP  TAR.GZ
paul/humanevup-34

82171a6bff · cleanups · Updated 2026-03-01 19:43:48 +00:00
144
3
 ZIP  TAR.GZ