Skip to content

Update theories/showcase/pnt.v

0287558
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

golfing dvg_sum_inv_prim_seq #1933

Update theories/showcase/pnt.v
0287558
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
rocq-core
succeeded Apr 12, 2026 in 54s