declare version placeholder as code fragment
declare version placeholder as code fragment

Signed-off-by: Sebastian Hoß <1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@shoss.de>
sebhoss/truth-property-proposition