Skip to content

prove updates over list append - #23

Closed
cascade77 wants to merge 1 commit into
rocq-community:masterfrom
cascade77:prove-updates-app
Closed

prove updates over list append#23
cascade77 wants to merge 1 commit into
rocq-community:masterfrom
cascade77:prove-updates-app

Commits

Commits on Jul 25, 2026