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: Dependents:

No dependents.

Badge:

Reusable components formally proven to the highest possible levels.

#reuse #components #spark #proof