in English

[beroal]

Welcome!

Posts in English in this blog: HTML; Atom.

My favorite links in

• Twitter,
• Diigo: RSS, HTML.

OpenSearch plugin for searching on

• Hackage;
• nLab or ncatlab.

Short proofs in Coq.

test link

Comments

[beroal]

test

[beroal]

<>