On Friday, July 12, 2019 at 9:16:13 AM UTC+3, Mario Carneiro wrote: > > I'm really excited about where this is all headed. Finally an IDE I'm not > ashamed of. I have a while to go before I can start redirecting these > efforts toward metamath proper, but I think one application is to be able > to use this as a metamath shim. > While people are mostly silent in this thread I bet they watch it with great interest. This is to encourage and wish you best of luck. Metamath really needs a powerful and flexible proof assistant.
-- 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/470eed59-fdf6-479c-bfd6-e976e5c36eb2%40googlegroups.com.
