About charlie 🏳️‍⚧️

yo-yo player
lean & rust dev
⊨ φ∧¬φ

math interests:
motivic integration
complex geometry
model theory ∩ algebraic geometry

Lists

Timeline

charlie has no activity yet