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

hbv/persistent_simple_ground

7973ba1880 · fix · Updated 2026-03-05 09:08:50 +00:00
94
2
 ZIP  TAR.GZ
hbv/xid

285a1e2831 · for now · Updated 2026-03-05 08:42:24 +00:00
106
3
 ZIP  TAR.GZ
re-apply-12757

9af33d5d32 · Revert "fix: revert "mark Id.run as [implicit_reducible]" (#12801)" · Updated 2026-03-05 06:23:33 +00:00
94
1
 ZIP  TAR.GZ
revert-12757

1a77a5f631 · Revert "fix: mark Id.run as [implicit_reducible] (#12757)" · Updated 2026-03-05 04:05:06 +00:00
96
1
 ZIP  TAR.GZ
fix-release-checklist-is-release-check

24a254aec2 · fix: handle CACHE STRING syntax in LEAN_VERSION_IS_RELEASE check · Updated 2026-03-05 01:59:25 +00:00
98
1
 ZIP  TAR.GZ
idrun_issue

3b6e65dcae · fix: mark Id.run as [implicit_reducible] · Updated 2026-03-04 23:38:31 +00:00
114
1
 ZIP  TAR.GZ
hbv/fix_uv_tcp_accept_deadlock

e8b7619b09 · fix · Updated 2026-03-04 19:28:03 +00:00
100
1
 ZIP  TAR.GZ
hbv/fix_uv_memleak

354a968b13 · fix: memleak on libuv error path · Updated 2026-03-04 19:26:03 +00:00
100
1
 ZIP  TAR.GZ
hbv/lcnf_internalize_unique_binders

27721aaf8e · feat: uniqification of binder names in LCNF.Internalize · Updated 2026-03-04 16:07:17 +00:00
107
1
 ZIP  TAR.GZ
hbv/void_jp_args

a0680192e0 · perf: remove void JP arguments · Updated 2026-03-04 15:22:01 +00:00
107
1
 ZIP  TAR.GZ
kim/deriving-prop-noncomputable

b613add013 · fix: deriving instance should not require noncomputable for Prop-valued classes · Updated 2026-03-04 13:17:22 +00:00
110
1
 ZIP  TAR.GZ
sofia/async-http-data

6c6f9a5d83 · refactor: change Char.isDigit and Char.isAlpha · Updated 2026-03-04 13:00:41 +00:00
135
53
 ZIP  TAR.GZ
grind_tc_issue

162f99d998 · test: update expected output in Module/Imported.lean · Updated 2026-03-04 12:40:24 +00:00
138
3
 ZIP  TAR.GZ
chore-verso-submanifest-sync

df3f685be1 · chore: use de-modulized subverso rev for verso test-project sub-manifests · Updated 2026-03-04 12:06:52 +00:00
112
2
 ZIP  TAR.GZ
chore-ci-failure-reporting

b1bf026f88 · chore: improve CI failure reporting in release checklist · Updated 2026-03-04 11:46:12 +00:00
112
1
 ZIP  TAR.GZ
fix-release-checklist-cmake-parse

d02c50da5f · fix: parse LEAN_VERSION_MINOR correctly in release_checklist.py · Updated 2026-03-04 11:29:15 +00:00
112
1
 ZIP  TAR.GZ
kimmo/check-stage0-version

5a69f85194 · fix: remove stage0 version validation · Updated 2026-03-04 01:14:54 +00:00
139
6
 ZIP  TAR.GZ
feat/exceptconds-and-elim

8a52b04fd9 · Merge remote-tracking branch 'origin/master' into feat/exceptconds-and-elim · Updated 2026-03-04 00:03:19 +00:00
118
2
 ZIP  TAR.GZ
hbv/inline_array

f41b9d2e55 · perf: inline a few trivial Array functions · Updated 2026-03-03 22:33:48 +00:00
118
1
 ZIP  TAR.GZ
defEq_issue

b3b669cdd1 · fix: whnf · Updated 2026-03-03 17:13:44 +00:00
124
1
 ZIP  TAR.GZ