Skip to content

Implement `own_alloc_infinite`

Dan Frumin requested to merge dfrumin/iris-coq:own_alloc_infinite into master

Potentially fixes #207 (closed) ?

Merge request reports