diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:36:10 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:36:41 +0100 |
commit | 4c8e5fa7b897253d23cda93cc747a5c5cda49b2a (patch) | |
tree | 2560c12cb602a6bcb01a7b84f4a93187612285b6 /site | |
parent | Remove a redundant </head> tag in HTML template (diff) |
Announce the acceptance of our coqffi paper
Diffstat (limited to 'site')
-rw-r--r-- | site/files/coqffi_jfla21.pdf | bin | 0 -> 196859 bytes | |||
-rw-r--r-- | site/news/index.html | 7 |
2 files changed, 7 insertions, 0 deletions
diff --git a/site/files/coqffi_jfla21.pdf b/site/files/coqffi_jfla21.pdf Binary files differnew file mode 100644 index 0000000..4a57127 --- /dev/null +++ b/site/files/coqffi_jfla21.pdf diff --git a/site/news/index.html b/site/news/index.html index a74f2ea..a0b12fc 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -2,6 +2,13 @@ <ul> <li> + On <strong>November 16, 2020</strong>, we have been notified that + our tool paper on <code>coqffi</code> has been accepted + to <a href="http://jfla.inria.fr/jfla2021.html">JFLA'21</a>! You + can find the paper <a href="/files/coqffi_jfla21.pdf">here</a>! (2 + pages, in French) + </li> + <li> On <strong>October 8, 2020</strong>, <code>coqffi</code> has officially been published as a <a href="https://github.com/coq-community/coqffi"><code>coq-community</code>’s |