-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy path_CoqProject
More file actions
38 lines (38 loc) · 1.33 KB
/
Copy path_CoqProject
File metadata and controls
38 lines (38 loc) · 1.33 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
-R Rocq/flocq/src Flocq
-R _build/default/Rocq/flocq/src Flocq
-R Rocq/SeparationLogic SimpleC.SL
-R _build/default/Rocq/SeparationLogic SimpleC.SL
-R Rocq/unifysl Logic
-R _build/default/Rocq/unifysl Logic
-R Rocq/sets SetsClass
-R _build/default/Rocq/sets SetsClass
-R Rocq/compcert_lib compcert.lib
-R _build/default/Rocq/compcert_lib compcert.lib
-R Rocq/auxlibs AUXLib
-R _build/default/Rocq/auxlibs AUXLib
-R Rocq/examples SimpleC.EE
-R _build/default/Rocq/examples SimpleC.EE
-R Rocq/stdlib SimpleC.StdLib
-R _build/default/Rocq/stdlib SimpleC.StdLib
-R Rocq/StrategyLib SimpleC.StrategyLib
-R _build/default/Rocq/StrategyLib SimpleC.StrategyLib
-R Rocq/Common SimpleC.Common
-R _build/default/Rocq/Common SimpleC.Common
-R Rocq/fixedpoints FP
-R _build/default/Rocq/fixedpoints FP
-R Rocq/MonadLib MonadLib
-R _build/default/Rocq/MonadLib MonadLib
-R Rocq/listlib ListLib
-R _build/default/Rocq/listlib ListLib
-R Rocq/MaxMinLib MaxMinLib
-R _build/default/Rocq/MaxMinLib MaxMinLib
-R Rocq/GraphLib GraphLib
-R _build/default/Rocq/GraphLib GraphLib
-R Rocq/SumLib SumLib
-R _build/default/Rocq/SumLib SumLib
-R Rocq/tracelib TraceLib
-R _build/default/Rocq/tracelib TraceLib
-R Rocq/coq-record-update/src RecordUpdate
-R _build/default/Rocq/coq-record-update/src RecordUpdate
-Q Rocq/algorithms Algorithms
-Q _build/default/Rocq/algorithms Algorithms