Website:

https://github.com/AdaCore/program_proofs_in_spark

Author:

• Yannick Moy

Maintainer:

• Yannick Moy <moy@adacore.com>

License:

Apache-2.0

Version:

0.1.1

Alire CI:

Dependencies:

• gnat >=12 & <2000
• gnatprove ^12.1.1

Dependents:

No dependents.

Badge: