Hi! and sorry if this is not the right place for this type of post. I recently found out about Metamath and I couldn't help but be impressed by just the sheer concept of it all. I want to get deeper into it, however, as a CS student with very little knowledge on mathematical logic or set theory, I don't really know what the best way for me to start is.
If you have any recommendations of books, areas of interests or online resources someone with my level (essentially zero, though I’m well acquainted with more formal proofs because of math Olympiads) could read to get started, I would much appreciate it. By around June or July of 2021 I need to deliver a dissertation in order to graduate and I would love it if it could be about some Metamath project, like formalizing some theorem (doesn’t need to be a very complicated one) that has yet to be formalized. I read about the 100 theorems but I’m unsure if I could get one of those within the allotted time. So feel free to recommend me some unformalized theorems as well, I would much appreciate it. Thanks for reading, and I greatly appreciate any help, ginx. -- 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/bd3ecca9-ce53-46bf-8709-10aff8dc914an%40googlegroups.com.
