Scholar
Anders Mörtberg
Google Scholar ID: 74pEcwgAAAAJ
Department of Mathematics Stockholm University
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,333
H-index
15
i10-index
17
Publications
20
Co-authors
0
Publications
1 items
Automating Boundary Filling in Cubical Agda
International Conference on Formal Structures for Computation and Deduction · 2024
Cited
1
