aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/papers.rst8
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/papers.rst b/docs/papers.rst
index cee81c1..cb7be9a 100644
--- a/docs/papers.rst
+++ b/docs/papers.rst
@@ -108,6 +108,14 @@ Vojtech Suchanek, Jan Jancar, Jan Kvapil, Petr Svenda, Lukasz Chmielewski
.. grid-item::
:columns: auto
+ .. button-link:: _static/ectester_ches25_slides.pdf
+ :color: secondary
+
+ :fas:`file-alt;fa-fw` Slides
+
+ .. grid-item::
+ :columns: auto
+
.. button-link:: https://github.com/crocs-muni/ECTester
:color: secondary