verifier 0.1.0

Macros that provide common software verifier primitives
Documentation 
1
2
3
4
5

{
  "git": {
    "sha1": "0d14a047e3f95540a5ed6c0a42764f3806326f8f"
  }
}