GitHub repository: AestheticIntegration/verified-react
Primary language: OCaml
Created: 2018-10-14T16:59:08Z
Description: Automated reasoning for React/ReasonML