imandra-ai / imandra-docs

Imandra Documentation
https://docs.imandra.ai/imandra-docs/
7 stars 4 forks source link

Release - add Imandra vs section + refactor decomp #142

Closed ewenmaclean closed 3 years ago