Login / Signup
Tal Herman
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Formal Proofs
User Friendly
Theorem Prover
Spatial Distribution
Top Venues
Electron. Colloquium Comput. Complex.
STOC
FOCS
</>
Publications
</>