rocq
Star 0
Fork 0
Watch

Version history of proof.v

November 2026

obscurejam.es
handle the ref with a slash in it
committed
obscurejam.es
handle the ref with a slash in it
committed
obscurejam.es
stop the header from reflowing on hover
committed
obscurejam.es
stop the header from reflowing on hover
committed
obscurejam.es
move the guard up to the boundary
committed

October 2026

obscurejam.es
round the sizes to the token scale
committed
obscurejam.es
treat a missing body as empty, not null
committed
obscurejam.es
round the sizes to the token scale
committed
obscurejam.es
round the sizes to the token scale
committed
obscurejam.es
walk the parents once, not twice
committed
obscurejam.es
reuse the existing chip instead of a new one
committed
obscurejam.es
trim the trailing newline before hashing
committed

September 2026

obscurejam.es
keep the empty state on one line
committed
obscurejam.es
defer the icon import
committed
obscurejam.es
put the separator back between the rows
committed
obscurejam.es
cache the resolved handle for the session
committed
obscurejam.es
defer the icon import
committed
obscurejam.es
move the guard up to the boundary
committed