Try mermaid again

[MathisGD]

          Given the missed dependencies (and renaming) in the graph, I'm thinking that a solution where they appear in a text form would be more tractable. Something like [this](https://github.com/morpho-org/metamorpho/tree/main/certora#specification-imports-graph) for example. 

This is just a remark though, potentially to do in another PR or even on other repos

Originally posted by @QGarchery in #439 (comment)