Iori Oikawa

🔧 Researcher in Machine Assisted Theorem Proving at https://centaur.stanford.edu/ ☯️ Director of NorCal Hakkero Factory No. 1 (I make #touhou cosplay props) 🔗 https://leni.sh, https://pixelfed.social/chrysoberyl ❄️ Training AI on my content is prohibited

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app