Skip to content

Bind proofs to the target's model and measure the parse surface - #18

Merged
jserv merged 11 commits into
mainfrom
verify-profiles
Sep 2, 2026
Merged

Bind proofs to the target's model and measure the parse surface#18
jserv merged 11 commits into
mainfrom
verify-profiles

Refuse what is not the target's evidence

d38d0a8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar