dan on Nostr: however right now i think the blueprint thing is a way more powerful method. it's ...

however right now i think the blueprint thing is a way more powerful method. it's like magic. in short i told it to use LeanArchitect to highlight essential nodes in the proof, and to state their titles and proofs in a way that's legible to mathematician.