Skip to content

chore: add dev console logging#784

Merged
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-yyzrmruqlmrp
May 27, 2026
Merged

chore: add dev console logging#784
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-yyzrmruqlmrp

Commits

Commits on May 27, 2026