Hi,
I hope you're still around! On 16 May 2024 at 13:02:15 UTC+2, ookami wrote: Also, I had some issues with tooling. I couldn't get Yamma to run, and mmj2 was extremely hard to set up. I missed this statement in your earlier post. Regarding Yamma: it’s a VSCode extension, and the main issue you might encounter is if Node.js isn’t installed on your system. However, you don’t need an extremely recent version of Node.js for it to work. Could you please let me know what problem you’re facing? Do you get an error, or does Yamma simply fail to start? As for the rest of your post, I completely agree—having as many theorems as possible in deduction form would be incredibly useful, especially for tooling purposes. Feel free to reach out if you’d like assistance with the Yamma installation. I’d be happy to help! Glauco -- 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 visit https://groups.google.com/d/msgid/metamath/428ebcd0-93c4-4086-bf21-93032bd6c84bn%40googlegroups.com.
