tchajed / coq-sep-logic

Separation logic library for Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tchajed/coq-sep-logic Stargazers