amutake/actario

Fairness

Closed this issue · 1 comments

amutake commented

define as Axiom or Definition using transition path (#7).