hopv / syng

Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda

Geek Repo

Github PK Tool