Multiplication on the Surreal Numbers in Type Theory
This mathematical research was about defining a multiplication on
the surreal numbers in the context of the univalent foundation.
Skills and deliverables: Mathematics, Type Theory, Logic, Algebra, Research, Technical Writing, LaTeX
