About Christina Richards

Software engineer and proof-assistant enjoyer. I did it the “particular strange way” at Princeton.

Lists

Timeline

cdrichards has no activity yet