Skip to top bar Skip to header Skip to content Skip to footer

Bookmarks Bookmarks with the Following Tag: PříF:M7150 FI:IA014! Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Bookmarks with the Following Tag: PříF:M7150 FI:IA014!

Bookmarks: hot | popular | recent • tags

Bookmarks with the Following Tag: PříF:M7150 FI:IA014!

Homotopy Type Theory: Univalent Foundations of Mathematics
other users' tags: FI:IB015 cteni education FI:IB016! book ebook PříF:M7150 theory FI:IA014! type
1 user, first 10/5/2015, Matej Kollár, bookmarks, people
Advanced Topics in Programming Languages (Homotopy type theory)
other users' tags: FI:IB015 FI:IB016 education FI:IA014 FI:IB016! PříF:M7150 theory FI:IA014! course type PříF:M7151 PříF:M8250
2 users, first 8/3/2015, Juraj Major, bookmarks, people

Special thanks to del.icio.us for inspiring us.