Adam Topaz

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Image Sequences

Rapid Development

Top Venues

Publications

Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Adam Topaz
Categorical Foundations of Formalized Condensed Mathematics. CoRR (2024)
Johan Commelin, Adam Topaz
Abstraction boundaries and spec driven development in pure mathematics. CoRR (2023)