v1.0

Jakob Botsch Nielsen

@jakobbotsch

86b9f7c1 · Show the proven property immediately in the README · Jun 25, 2019

Tag version used for paper