From 0b5d09c47446096f9e3a0812b35afc72b7f2a718 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Wed, 9 Dec 2020 09:53:24 +0100 Subject: [PATCH] link paper on arxiv --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 6317b45..7bfeac8 100644 --- a/README.md +++ b/README.md @@ -14,9 +14,8 @@ This repository contains the following components: * A formally verified checker for the certificates generated from search logs, implemented using Haskell and Isabelle/HOL. -I'm currently working on a document explaining the methods used. I will add a -draft to this repository as soon as it is ready. You can also [follow me on -twitter][twitter] for updates about this. +For a full explanation see the [corresponding paper on arXiv][paper]. If you +have any questions feel free to reach out to [me on Twitter][twitter]. ## Usage @@ -105,3 +104,4 @@ formal proof is available in PDF form][document.pdf]. [zst]: https://facebook.github.io/zstd/ [document.pdf]: https://files.jix.one/sortnetopt/document.pdf [twitter]: https://twitter.com/jix_ +[paper]: https://arxiv.org/abs/2012.04400