refactor: move registration of namespaces on kernel add into elaborator #6214 Kha wants to merge 36 commits intoleanprover/lean4:kernel-env-base from Kha/lean4:push-vwrqzpymymss Copy head branch name to clipboard
Commits
Commits on Jan 8, 2025 Show description for 680ede7
Show description for 034bc26
Show description for 5be241c
Show description for ddd454c
Show description for 0afa1d1
Commits on Jan 9, 2025 Show description for c5314da
Show description for cb9f198
Show description for 623dec1
Show description for 827c667
Show description for dd64455
Show description for 1b42728
Show description for a6789a7
Show description for d369976
Commits on Jan 10, 2025 Show description for c07948a
Show description for d2c4471
Show description for ed309dc
Show description for 0b5d977
Lean stage0 autoupdater
committed
Show description for 918924c
Commits on Jan 11, 2025 Show description for 03081a5
Show description for 8791a9c
Commits on Jan 12, 2025 Show description for acad587
Show description for 7ea5504
Show description for 4636091
Show description for 5119528
Show description for c5c1278
Show description for ce1ff03
Show description for 8b1aabb
Show description for 5419025
Show description for 349da6c
Show description for 0da3624
Show description for c7939cf
You can’t perform that action at this time.
Lean stage0 autoupdater
