Up – Package index » dirsp-proscript

dirsp-proscript

API
- Library dirsp-proscript

dirsp-proscript
- CHANGES
- LICENSE
- README
- Library dirsp-proscript
  - Dirsp_proscript

API

Library dirsp-proscript

Dirsp_proscript Providing the signatures of cryptographic primitives needed by verified ProScript code.