GitHub repository: tchajed/iris-simp-lang
Primary language: Coq
Created: 2021-01-20T21:12:10Z
Description: We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.