Certified implementation of a parametrized framework for concurrent garbage collectors
Primary LanguageCoq