Rodin Andrey

Presentations in Math-Net.Ru

1. Computer-assisted proofs and mathematical understanding: The case of univalent foundations
   A. Rodin
   Logical Perspectives 2021: Summer School and Workshop
   June 17, 2021 16:00