On April 2, 2020, I started using the rewriting of
cleopatrato build this website.
On April 1, 2020, my first contribution ever to
Coq has been merged
On February 23, 2020,
cleopatrahas been completely bootstrapped, in that it generates itself!
On February 15, 2020, I have tagged and
lavenderless-theme-0.2. Learn more.