FYI, we have a short wiki page about automated proving for Metamath: https://github.com/metamath/set.mm/wiki/Automated-proving
Expansions of that page are welcome. I put it in the wiki because that was easy to get started. If people think it should go somewhere else, please let me/us know. --- David A. Wheeler -- 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/E1jIbPs-0003yR-26%40rmmprod07.runbox.
