Hi, Il 12/07/19 08:15, Mario Carneiro ha scritto: > I have another status update, and this one might turn some heads.
Wonderful, that's really incredible! I won't have much time to check out your work for a few weeks, but your progress is really interesting. :-) Good work and keep up! Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/80739b49-a9a9-c076-95be-7d14385dd261%40gmail.com.
signature.asc
Description: OpenPGP digital signature
