Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CHARGUERAUD Arthur
cfml
Repository
cfml
model
LambdaSep.v
Find file
Blame
History
Permalink
Define persistently for proof mode by forcing every separation logic to declare an empty heap.
· f60f76e4
Jacques-Henri Jourdan
authored
Feb 14, 2018
Add a few proofmode type class instance for hpure and htop.
f60f76e4