Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
FP
Stacked Borrows Coq
Repository
857c040c379355b15f761fe0868d404aa0aef4bd
Switch branch/tag
stacked-borrows
theories
sim
local_adequacy.v
Find file
Blame
History
Permalink
encode in the type of the local simulation that fn arguments are values
· 857c040c
Ralf Jung
authored
Jul 06, 2019
857c040c
Ralf Jung authored857c040c