iris-simp-lang
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
47 stars
4 watching
4 forks
Language: Coq
last commit: 5 months ago coqiristutorial