sva-formula 0.7.3

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