Cofounder of Imandra (imandra.ai) and Life Member of Clare Hall, Univ. Cambridge; creator of Imandra; proving theorems about algorithms!
-
Imandra Inc
- Austin, TX
- www.imandra.ai
- @grantolney
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.