Skip to content
Snippets Groups Projects
Commit ceb4a279 authored by dgelessus's avatar dgelessus
Browse files

Adjust formatting in README

parent f58bb9cf
No related branches found
No related tags found
No related merge requests found
Pipeline #40873 passed
......@@ -67,15 +67,11 @@ $ jupyter qtconsole --kernel=prob2
For information on how to use the kernel, run the built-in `:help` command, or see the included [example notebooks](./notebooks).
[current-download]: https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.2.0-all.jar
[changelog]: ./CHANGELOG.md
## Citing
An article about the ProB Jupyter kernel has been [published at ABZ'2020](https://rdcu.be/b4rql).
```
```bibtex
@inproceedings{GelessusLeuschel:abz2020,
author = {David Gelessus and Michael Leuschel},
title = {{ProB} and {Jupyter} for Logic, Set Theory, Theoretical Computer Science and Formal Methods},
......@@ -87,3 +83,6 @@ An article about the ProB Jupyter kernel has been [published at ABZ'2020](https:
isbn = "978-3-030-48077-6"
}
```
[current-download]: https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.2.0-all.jar
[changelog]: ./CHANGELOG.md
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment