2 results found Sort:

imandra-ai
verified-react imandra-ai
4
113
unknown
17
Automated reasoning for React/ReasonML
react imandra reasonml reason-react
Created 2018-10-14
192 commits to master branch, last one 5 years ago
imandra-ai
fix-engine imandra-ai
3
52
apache-2.0
16
Imandra FIX Engine
fix formal imandra fix-protocol verification formal-methods financial-markets formal-verification
Created 2016-12-04
1,041 commits to master branch, last one 3 months ago