Similar repositories to EthanJamesLew/natural-numbers-lean: