[Warwolt]

Eh, even though you prove things about your specs (possibly) there's still a difference between proof assistances and spec languages