search

imandra-ai / imandra-docs

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

Denis/intro #198

Closed ignaden closed 1 year ago

ignaden commented 1 year ago

changes to the intro page