I'm roughly 50% on Windows and 50% on linux, but I develop and use Yamma on linux only.
VSCode on linux works very well... :-) p.s. VSCode =!= Visual Studio Il giorno lunedì 11 dicembre 2023 alle 16:40:21 UTC+1 savask ha scritto: Yamma looks very cool, but it requires VSCode (and I'm on linux...), -- 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/34fe5dcc-4cdc-47cc-b3c7-8912c4bed168n%40googlegroups.com.
