Hi all, I'd like to log some modest progress on a Visual Studio Code assistant, which reuses a lot of Mario's work on MM0, and relies on metamath-knife.
I've put up a small screen recording here <https://github.com/tirix/metamath-vspa>, demonstrating basic hover and go-to-definition support: * when hovering over a label, the statement and hypotheses are shown, as well as the statement's associated comment, * the go-to-definition command shall be self-explanatory! BR, _ Thierry -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/076ae2d5-4a09-142e-51a1-cc02dabc56d8%40gmx.net.
