They did not leave the project. They are still a developer, a director of the GrapheneOS foundation, and someone shaping the direction and quality of the operating system. They did step down in their role as lead developer though, which was taken over by another person, who is also a director. They also lowered their public social media presence on their personal accounts, in order to avoid harassment and attacks.