jldodds/mirror-shard
Reflective verification procedures for separation logic programs in Coq
Discovered public repositories for jldodds in the GitHub catalog.
Reflective verification procedures for separation logic programs in Coq
Public repository.
Public repository.
Interface building for ELE 580