Ioannis Filippidis

- use the Python script `list_files.py` to list the paths of Markdown files to typeset, because one of the headers in the table of contents `src/toc.md` contains a `/`, resulting...

A [PyPI entry](https://pypi.python.org/pypi/pelican_bibtex/0.1) for `pelican_bibtex` exists, but no tarball has been uploaded, so ``` $ pip install pelican_bibtex Collecting pelican_bibtex Could not find a version that satisfies the requirement pelican_bibtex...

Parsing and translation support for bound tuples, examples: - rigid quantification `\E \in A \X B: ...` - choose expressions `CHOOSE \in A \X B: ...` - set constructor for...

These changes include: - BUG: build parser tables in `setup.py` (was raising a `ModuleNotFoundError` masked by `except Exception`) - CI: do not run typechecking - CI: install `stormpy` from PyPI...