On November 26, 2023 6:41:32 AM PST, Glauco <[email protected]> wrote:
>Yamma now builds a (partial) theory, even if some proofs are not valid.
Ooh nice. I have my workarounds to handle these kinds of changes using mmj2 but
having the tool understand it better sounds like it could be a significant help.
--
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/92AE849D-F51C-43B9-B845-8E0CD5062ED0%40panix.com.
