On 7/4/23 15:07, Marshall Stoner wrote:
What I'm writing is not directly connected with meta-math, but something that I feel could help explain it better for novices
I'd advise you to follow where the inspiration leads you. If you end up with something which has a lot of metamath notation and reference to metamath theorems by name, that's great, and may indeed be helpful to put on the web site in one form or another if you want to contribute it in that fashion. If what you want to do (in terms of how it makes sense to present the material or whatever) ends up diverging more from metamath in detail and ends up being more of a general logic textbook, that's cool too.
-- 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/4233da87-e20c-3b0c-c8a9-10abf70db96b%40panix.com.
