~amiloradovsky/symbolic-dynamics

symbolic-dynamics/_CoqProject -rw-r--r-- 289 bytes View raw
5857f238Andrew Miloradovsky .build.yml: continuous integration for SourceHut 7 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
-I .
-R . Symbolic_Dynamics
-R ../zorns-lemma ZornsLemma
-R ../topology Topology
Uniform.v
Algebra.v
Shifts.v
Action.v
DeMorgan.v
Families.v
Patterns.v
Pattern_Sets.v
Concatenation.v
Languages.v
Patterns_US.v
Local_Rule.v
Prodiscrete.v
Dynamical.v
Metric_Space.v
Decidable.v
Topological.v