Skip to content

Add that fare transfer rules are directional#602

Merged
skalexch merged 2 commits intomasterfrom
isabelle-fare-transfer-rule-clarification
Mar 5, 2026
Merged

Add that fare transfer rules are directional#602
skalexch merged 2 commits intomasterfrom
isabelle-fare-transfer-rule-clarification

Commits

Commits on Jan 13, 2026