Hi, is it still alive? Where to get access to try this tool? On Sunday, July 19, 2020 at 4:51:24 PM UTC+3 [email protected] wrote:
> Wow this is really cool, thanks Stan. Also thanks for letting me use the > tool, my friends are all suitably impressed :) > -- 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/42cfe345-a280-42eb-81ff-0f10c8dc25fbn%40googlegroups.com.
