dan on Nostr: you need to give it a bird's eye view of the big nodes. so that it sees the actual ...

you need to give it a bird's eye view of the big nodes. so that it sees the actual shape of the tower of models and proofs. i'm using LeanArchitect + blueprint into mermaid, maybe other approaches work too.