The Univalent Foundations through UniMath and some combinatorial problems (part 1)

The Univalent Foundations through UniMath and some combinatorial problems (part 1)

Univalent Foundations: New Foundations of Mathematics - Vladimir VoevodskySee more

Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky

unimath 031See more

unimath 031

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLASee more

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA

Univalent Foundations Seminar - Steve AwodeySee more

Univalent Foundations Seminar - Steve Awodey

The Univalent Foundations through UniMath and some combinatorial problems (part 2)See more

The Univalent Foundations through UniMath and some combinatorial problems (part 2)

Univalent FoundationsSee more

Univalent Foundations

unimath 065See more

unimath 065

Andrei Rodin: "Univalent Foundations and Applied Mathematics"See more

Andrei Rodin: 'Univalent Foundations and Applied Mathematics'

Univalent Foundations of Mathematics - Vladimir VoevodskySee more

Univalent Foundations of Mathematics - Vladimir Voevodsky

unimath 001See more

unimath 001

News