aprender-contracts-cli 0.60.0

CLI for provable-contracts — validate, scaffold, verify, status, audit
1
2
3
4
5
6
7
8
9
10
11
Equations for dot-kernel-v1
=====================================================

  dot
    formula:  y = Σ x_i · w_i
    domain:   x ∈ ℝ^n, w ∈ ℝ^n
    codomain: y ∈ ℝ
    invariants:
      - dot(x, 0) = 0
      - dot(α·x, w) = α·dot(x, w)