2 results found Sort:

imandra-ai
verified-react imandra-ai
4
112
unknown
18
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
51
apache-2.0
17
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 14 days ago