Alire
Crates
Search
Docs
Proven_components
Website:
https://github.com/pat-rogers/proven_components
Author:
Pat Rogers
Maintainer:
Pat Rogers <progers@classwide.com>
License:
Apache-2.0 WITH LLVM-exception
Version:
1.0.0
Alire CI:
Dependencies:
image/svg+xml
sparklib
^15.1.0
Dependents:
No dependents.
Badge:
Reusable components formally proven to the highest possible levels.
#reuse
#components
#spark
#proof