Activity
Mon
Wed
Fri
Sun
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
What is this?
Less
More
Memberships
The Sisterhood
30 members • Free
Contributions
@sonia-marin-8642
I am a theoretical computer scientist at the University of Birmingham, specialising in proof theory
Active 2d ago
Joined Jul 29, 2025
Powered by