News
-
On December 10, 2020,
coq-coqffi.1.0.0~beta2
has been published to the opam
Coq archive.
-
On December 7, 2020,
coq-coqffi.1.0.0~beta1
has been published to the opam
Coq archive.
-
On November 16, 2020, we have been notified that
our tool paper on
coqffi
has been accepted
to JFLA'21! You
can find the paper (2 pages, in
French) here!
-
On October 8, 2020,
coqffi
has officially been
published as
a coq-community
’s
project.
-
On April 17, 2020, my first contribution to
Dune has been merged
to
master
.
-
On April 2, 2020, I started using the rewriting of
cleopatra
to build this website.
-
On April 1, 2020, my first contribution ever to
Coq has been merged
to
master
.
-
On February 23, 2020,
cleopatra
has been completely
bootstrapped, in that it generates itself!
-
On February 15, 2020, I have tagged and
released
colorless-themes-0.2
,
nordless-theme-0.2
,
and lavenderless-theme-0.2
.
Learn more.