Skip to content
Branch: master
Find file History
Latest commit 579e9b1 Mar 4, 2019
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
Part1_Spartan_Type_Theory add makefiles for compiling the *.v files Jan 24, 2019
Part2_Fundamentals_Coq
Part3_Univalent_Foundations add makefiles for compiling the *.v files Jan 24, 2019
Part4_Tactics_UniMath
Part5_Set_Level_Mathematics add makefiles for compiling the *.v files Jan 24, 2019
Part6_Category_Theory
Part7_UniMath_future add makefiles for compiling the *.v files Jan 24, 2019
Makefile
README.md Update README.md Mar 4, 2019

README.md

Lectures and problem sheets for the School on Univalent Mathematics 2017

You can’t perform that action at this time.