About Sage

PhD student at UIowa, advised by Katherine Kosaian. Interested in formalizing mathematics.

Lists

Timeline

SageBinder has no activity yet