Login / Signup
Chelsea Edmonds
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 20
Top Topics
Johnson Lindenstrauss
Theorem Prover
Arithmetic Operations
Design Theory
Top Venues
Arch. Formal Proofs
CoRR
CPP
ITP
</>
Publications
</>