Skip to main content
Module ghost_resource
vstd_
extra
Module ghost_
resource
Module Items
Modules
In vstd_
extra::
resource
vstd_extra
::
resource
Module
ghost_
resource
Copy item path
Source
Expand description
Ghost resources available for use in proofs.
Modules
ยง
count
Integer-based counting ghost resource.
csum
excl
tokens