Skip to content

Prove maturity ≤ timestamp + MAX_TTM bound (discharge Certora wish-list TODO)#1078

Draft
claude[bot] wants to merge 6 commits into
mainfrom
claude/prove-maturity-max-ttm-bound
Draft

Prove maturity ≤ timestamp + MAX_TTM bound (discharge Certora wish-list TODO)#1078
claude[bot] wants to merge 6 commits into
mainfrom
claude/prove-maturity-max-ttm-bound

Remove unused marketIsCreated helper from NetCredit.spec

8d46e9b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar