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
Equations for scale-kernel-v1
=======================================================

  scale
    formula:  y_i = α · x_i + β
    domain:   x ∈ ℝ^n, α ∈ ℝ, β ∈ ℝ
    codomain: y ∈ ℝ^n
    invariants:
      - y finite when x finite