search

imandra-ai / imandra-docs

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

feat: updating imandra tools notebook to use typed IDF AST #174

Closed ewenmaclean closed 2 years ago

ewenmaclean commented 2 years ago

Updating the imandra tools notebook