iris-lean icon indicating copy to clipboard operation
iris-lean copied to clipboard
verified publisher icon leanprover-community

feat: Implementations for generic heaps

Open markusdemedeiros opened this issue 4 months ago • 0 comments

Depends on #88

markusdemedeiros avatar Sep 08 '25 17:09 markusdemedeiros