John Regehr on Nostr: nprofile1q…f02sc nprofile1q…82suv I don't actually know of a tool that does ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq3ypd46247qyvv49t5jsqrn575z38nrvgme3gekxv2crtt7cs4ljs0f02sc (nprofile…02sc) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjv7pjw5vfcawhkh98r6cpgl2udafff4685z7yt0f4yv80yys60dsq82suv (nprofile…2suv) I don't actually know of a tool that does exactly this thing, though. I agree it would be excellent.

in academia I think of Yale's Flint group and projects with Adam Chlipala involved (at MIT) as being close to what you want, but I don't know if they have anything packaged up that would actually do this

http://adam.chlipala.net/papers/