First Entry

So, here I am, proud blogger.com number 1174727 (together with something between 10 and 20k new bloggers today).

CoqSpot is mainly for technical-related stuff. Me, enjoy!