A proof assistant for refinement logics
Primary LanguageOCamlMIT LicenseMIT
This repository is not active