/verified-react

Automated reasoning for React/ReasonML

Primary LanguageOCaml

No issues in this repository yet.