I was planning to add the "encouragement" to minimize proofs on the page https://github.com/metamath/set.mm/blob/develop/CONTRIBUTING.md I think that this page, together with the page it links to, https://github.com/metamath/set.mm/wiki/Getting-started-with-contributing is very useful. It is always open on my desktop when I work on set.mm.
Benoit -- 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/8cf425b1-bd70-4406-82a9-1ac19c47ce05%40googlegroups.com.
