source

program_proofs_in_spark

0.1.0

Programs from the book Program Proofs in SPARK

0.1.0

Authors: Yannick Moy
Maintainers: Yannick Moy <moy@adacore.com>
Maintainer profiles: @yannickmoy
Licenses: Apache-2.0
Website: https://github.com/AdaCore/program_proofs_in_spark
Repository: github.com/AdaCore/program_proofs_in_spark
Source revision: 22ee1b3dd4fa
Tags: spark
Project files: ch5/ch5.gpr, ch7/ch7.gpr, ch12/ch12.gpr, ch13/ch13.gpr, ch15/ch15.gpr
Manifest: index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.0.toml