Am Donnerstag, 21. November 2019 16:38:57 UTC+1 schrieb Jim Kingdon: > > ... > > I'll also say that if you have any interest in, or curiosity about, > intuitionistic logic, that there is low hanging fruit in iset.mm. Proofs > that can be shortened, cases where set.mm has a better proof which can be > copied over, probably some cases where iset.mm has a shorter proof which > can go over to set.mm. > > The work is (usually) quite similar to set.mm (a fair number of proofs > can be copied over unmodified, for example) and there is a detailed "how > to" guide at http://us.metamath.org/ileuni/mmil.html#intuitionize > (suggestions on making the web pages and comments clearer are also welcome). > > I'd love to look into all the different aspects of logic. Unfortunately, I work full-time in a completely different area, and I have simply no time to follow all the different threads. I do not even have time to become specialized in the fields I really want to know. So don't expect too much.
Wolf -- 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/d2342190-72c7-45c9-b480-b5b908a0b20d%40googlegroups.com.
