prelude/fin_collections.v · 83cfef45b9268a7b99c13a13e76c3e9fa6e87a82 · George Pirlea / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
prelude
fin_collections.v

Blame Permalink

Dec 11, 2015
83cfef45

Notion of finiteness of a collection. · 83cfef45
Robbert Krebbers authored Dec 11, 2015

83cfef45

Notion of finiteness of a collection.
Robbert Krebbers authored Dec 11, 2015

Loading