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/ignore_export_extern

Deleted by Ghost 2026-03-16 18:04:09 +00:00
gh-readonly-queue/master/pr-12929-c9ceba17849cb665b57c2a7b9504fa58343860bb

Deleted by Ghost 2026-03-16 18:04:09 +00:00