[update] formal table
edited README
Merge remote-tracking branch 'origin/master'
added file about hott coinductives
clarify in hott-co
added sentence about rlation between axiomatic and coinductive
Merge branch 'master' into arxiv