uroboro
uroboro
Theoretical developer.
iPhoneDevWiki contributor/admin.
@theos maintainer.
@datatheorem engineer.
@datatheorem Paris, France
Zhang
Naville
SMT / SAT, Math, Compiler & Kernel Infrastructure.
miHoYo / HoYoverse / COGNOSPHERE lib/Analysis