http://mattam82.github.io/HoTT_Markov/ 2017-12-04T00:00:00+00:00 http://mattam82.github.io/404/ http://mattam82.github.io/about/ http://mattam82.github.io/ http://mattam82.github.io/coq/HoTT_Markov.html 2017-12-05T00:16:23+00:00