diff options
| -rw-r--r-- | docs/papers.rst | 8 |
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 |
