Mentions légales du service
Skip to content
GitLab
Explore
Sign in
cambium
iris-time-proofs
Repository
iris-time-proofs
theories
ThunksSimple.v
Find file
Blame
History
Permalink
add a more general version of thunks, supporting the consequence rule
· d50619d0
Glen Mével
authored
Apr 20, 2021
d50619d0