Skip to content

feat: utilities for formatting tables - #191

Open
thorimur wants to merge 5 commits into
leanprover-community:mainfrom
thorimur:table-message-util
Open

thorimur wants to merge 5 commits into
leanprover-community:mainfrom
thorimur:table-message-util

chore: oops, reversed

209df87
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Nov 8, 2026 in 41s