User blog comment:Hyp cos/A strong array notation (at my personal website)/@comment-2033667-20150806164204

I must say I'm really disappointed in this site. Each page is just a definition and a list of assertions. Where are your proofs?