Skip to content

FEAT-064: mechanize the qualified obligation-identity invariance (ObligationId.v) - #119

Open
avrabe wants to merge 1 commit into
mainfrom
feat-064-obligationid-proof
Open

FEAT-064: mechanize the qualified obligation-identity invariance (ObligationId.v)#119
avrabe wants to merge 1 commit into
mainfrom
feat-064-obligationid-proof

FEAT-064: mechanize the QUALIFIED obligation-identity invariance (Obl…

53736b6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar