percolator-engine 0.4.0

Formally verified risk engine for perpetual futures — fair exits (H) and O(1) overhang clearing (A/K)
Documentation