
Please see https://www.verificatum.org for news.
