- tex-common (>= 6.13)
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.
Installed Size: 20.5 MB
Architectures: all