GitHub repository: mit-plv/hemiola
Primary language: Coq
Created: 2021-01-23T17:39:51Z
Description: A Coq framework to support structural design and proof of hardware cache-coherence protocols