Mitesh Jain's repositories
ChemistrySet
A library for composable fine-grained concurrency.
refinement-case-studies
Case study for proving skipping refinement
SkippingRefinement
Skipping refinement a notion of correctness for reasoning about optimized reactive systems