lean4-htt/stage0
Mac Malone 2e937ec789
chore: make leantar available in stage0 (#12992)
This PR makes `leantar` available in stage0, which is necessary for
#10880.
2026-03-19 20:43:43 +00:00
..
src chore: make leantar available in stage0 (#12992) 2026-03-19 20:43:43 +00:00
stdlib chore: update stage0 2026-03-19 19:02:33 +00:00