There probably isnt a lot to write about in a simple 2x2 matrix multiplier, but I thougt I'd like to post something basic and then explore its various aspects like verification and coding style etc.

In this post (which I am writing in markdown), I am not going to ...

more ...