tchajed / iris-simp-lang

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
50Updated last week

Alternatives and similar repositories for iris-simp-lang:

Users that are interested in iris-simp-lang are comparing it to the libraries listed below