New ImandraX docs at imandrax.dev/docs

[grant]

We’re very excited to announce the release of our new ImandraX documentation at ImandraX Documentation | ImandraX Docs . We hope this is a useful resource for ImandraX beginners and experts alike, and helps new users become experts in no time. That is the dream, in any case :-). We’d very much appreciate your feedback.