User:Yli

I'm a math and CS student at an unnamed university. I've found proofwiki useful, but sometimes I run into errors I'd like to fix or things I'd like to clarify.