enter for all results · esc to close
github.comtool
Library for reasoning about directed graphs and their embedding in separation logic.
Coq › Projects > Libraries: “Library for reasoning about directed graphs and their embedding in separation logic.”
