source

proven_components

1.0.0

Reusable components formally proven to the highest possible levels.

GitHub Community CIResults All crate versions Download JSON

1.0.0

Authors: Pat Rogers
Maintainers: Pat Rogers <progers@classwide.com>
Maintainer profiles: @pat-rogers
Licenses: Apache-2.0 WITH LLVM-exception
Website: https://github.com/pat-rogers/proven_components
Repository: github.com/pat-rogers/proven_components
Source revision: 584876de8f40
Tags: reuse, components, spark, proof
Project files: proven_components.gpr
Manifest: index/pr/proven_components/proven_components-1.0.0.toml