Rodin Andrey

Publications in Math-Net.Ru

1. Computer-assisted proofs and their understanding by a human: the case of univalent foundations
   
   Intelligent systems. Theory and applications, 25:4 (2021),  337–342