Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool