Alire

program_proofs_in_spark

v0.1.0

Programs from the book Program Proofs in SPARK

spark

No README available for this crate.

Install

Globally install this crate:

alr install program_proofs_in_spark

Add to your project:

alr with program_proofs_in_spark

Crate Information

Versions

  1. v0.1.1
  2. v0.1.0

Authors

  1. Yannick Moy

Maintainers

Maintainers (GitHub pseudo)

yannickmoy

Release Date

2 years ago

First Release

4/20/2023

License

Apache-2.0

Links

WebsiteRepository

Statistics

Dependencies: 1

Dependents: 0

Versions: 2

Dependencies

gnat>=12 & <2000