Skip to content

proto: integrate with Hax - #128

Draft
mkovaxx wants to merge 28 commits into
mainfrom
feat-haxperiment
Draft

proto: integrate with Hax#128
mkovaxx wants to merge 28 commits into
mainfrom
feat-haxperiment

allow loop invariant to be written as a closure

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

Annotations

1 warning
Check formatting
succeeded Jun 9, 2026 in 15s