Univalent Foundations of mathematics and computer-assisted mathematical proofs.
Reading: (1) D. Grayson, An Introduction to Univalent Foundations for Mathematicians, (2) A. Rodin, Computer-Assisted Proofs and Mathematical Understanding: Univalent Foundations as a Leibnizian Language