An experimental library of formalized Mathematics based on the univalent foundations

By Vladimir Voevodsky. 2015

79 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Mathematical Physics