search

UniMath / UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
http://unimath.org/
Other
952 stars 172 forks source link

add links #765

Open DanGrayson opened 6 years ago

DanGrayson commented 6 years ago

I'll add some links to Vladimir's discussions of UniMath to the file README.md, including:

https://www.newton.ac.uk/seminar/20170710113012301 (the slides and video are both there)

https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_09_22_HLF_Heidelberg.pdf https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/4th%20HLF%20-%20Lecture%20Vladimir%20Voevodsky.mp4

https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_07_14_Berlin_ICMS_short.pdf

Are there others?

benediktahrens commented 6 years ago

On 10/14/2017 03:11 PM, Daniel R. Grayson wrote:

I'll add some links to Vladimir's discussions of UniMath to the file README.md, including:

https://www.newton.ac.uk/seminar/20170710113012301 (the slides and video are both there)

https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_09_22_HLF_Heidelberg.pdf https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/4th%20HLF%20-%20Lecture%20Vladimir%20Voevodsky.mp4

https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_07_14_Berlin_ICMS_short.pdf

Are there others?

Awesome! No others come to my mind right now, but in case that happens, I'll add links, too.

arnoudvanderleer commented 3 weeks ago

@DanGrayson Is this still relevant, and if so, has it been done yet?