csgordon/rgref-fstar
F* Implementation of a simplified rely-guarantee references
Concurrency fork of rely-guarantee references
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
F* Implementation of a simplified rely-guarantee references
A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)
Development of homotopy type theory in Agda
Liquid Types For Haskell