sva-formula 0.7.8

Laws in t and f: the normal form, the rule table, and the observations a law answers without sampling
Documentation