Mitesh Jain's repositories
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
ChemistrySet
A library for composable fine-grained concurrency.
Language:ScalaNOASSERTION000
refinement-case-studies
Case study for proving skipping refinement
Language:Common Lisp000
SkippingRefinement
Skipping refinement a notion of correctness for reasoning about optimized reactive systems