Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
This question doesn't seem obviously off-topic or "infra dig" to me...
I'm not sure if this is just a language problem (although I did have to look up "infra dig").
The first version had a "Prove that" command in place of what is now a question. Also, the "We can provide details to the interested reader" part seems rather strange coming from an individual.
1 to 3 of 3