[]
= "ohnomore"
= "0.5.0"
= ["Daniël de Kok <me@danieldk.eu>"]
= "2018"
= "Transformations for TüBa-D/Z lemmas"
= "https://github.com/sfb833-a3/ohnomore"
= "MIT OR Apache-2.0"
[]
= "0.2"
= "0.4"
= "1"
= "1"
= "0.2"
= "1"
= "0.8"
= "0.1"
[]
= "0.6"