1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
-- The generic development (any signature and model).
import RoleFlow.Cov
import RoleFlow.Sig
import RoleFlow.Prog
import RoleFlow.Recipes
import RoleFlow.Typing
import RoleFlow.Live
import RoleFlow.Density
import RoleFlow.Inverse
import RoleFlow.InvTyping
import RoleFlow.InvInfer
import RoleFlow.Infer
import RoleFlow.Search
import RoleFlow.Front
import RoleFlow.FrontSem
import RoleFlow.FrontComplete
import RoleFlow.Link
-- The flow instance (`RoleFlow/Flow/`).
import RoleFlow.Flow
-- The discrete instance (`RoleFlow/Discrete.lean`).
import RoleFlow.Discrete