Skip to content

Put the cross-type counterexample into the LibHashNoAlloc NatSpec - #114

Merged
thedavidmeister merged 1 commit into
mainfrom
hash-113-natspec-counterexample
Sep 16, 2026
Merged

Put the cross-type counterexample into the LibHashNoAlloc NatSpec#114
thedavidmeister merged 1 commit into
mainfrom
hash-113-natspec-counterexample

docs: put the cross-type counterexample back beside the claim

d6b68d3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar