-
Notifications
You must be signed in to change notification settings - Fork 0
/
_CoqProject
103 lines (95 loc) · 2.08 KB
/
_CoqProject
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
-Q nola nola
nola/prelude.v
nola/util/eq.v
nola/util/uip.v
nola/util/fn.v
nola/util/gmap.v
nola/util/gmultiset.v
nola/util/prod.v
nola/util/plist.v
nola/util/tagged.v
nola/util/proph.v
nola/util/order.v
nola/util/psg.v
nola/util/productive.v
nola/util/nary.v
nola/util/cit.v
nola/bi/util.v
nola/bi/internal.v
nola/bi/gmap.v
nola/bi/plist.v
nola/bi/order.v
nola/bi/deriv.v
nola/bi/mod.v
nola/bi/modw.v
nola/bi/wpw.v
nola/bi/judg.v
nola/bi/paradox.v
nola/iris/iprop.v
nola/iris/own.v
nola/iris/list.v
nola/iris/option.v
nola/iris/agree.v
nola/iris/csum.v
nola/iris/sinv.v
nola/iris/inv.v
nola/iris/inv_deriv.v
nola/iris/na_inv.v
nola/iris/na_inv_deriv.v
nola/iris/dinv.v
nola/iris/dinv_deriv.v
nola/iris/store.v
nola/iris/store_deriv.v
nola/iris/lft.v
nola/iris/borrow.v
nola/iris/borrow_deriv.v
nola/iris/fborrow.v
nola/iris/proph.v
nola/iris/proph_ag.v
nola/iris/pborrow.v
nola/iris/pborrow_deriv.v
nola/iris/cif.v
nola/iris/paradox.v
nola/heap_lang/locations.v
nola/heap_lang/lang.v
nola/heap_lang/pretty.v
nola/heap_lang/metatheory.v
nola/heap_lang/notation.v
nola/heap_lang/tactics.v
nola/heap_lang/proph_erasure.v
nola/heap_lang/class_instances.v
nola/heap_lang/definitions.v
nola/heap_lang/primitive_laws.v
nola/heap_lang/derived_laws.v
nola/heap_lang/proofmode.v
nola/heap_lang/adequacy.v
nola/heap_lang/total_adequacy.v
nola/rust_lang/lang.v
nola/rust_lang/notation.v
nola/rust_lang/heap.v
nola/rust_lang/tactics.v
nola/rust_lang/lifting.v
nola/rust_lang/proofmode.v
nola/rust_lang/adequacy.v
nola/rust_lang/races.v
nola/examples/xty.v
nola/examples/con.v
nola/examples/ilist.v
nola/examples/borrow.v
nola/examples/mutex.v
nola/examples/deriv.v
nola/examples/rust_halt/base.v
nola/examples/rust_halt/type.v
nola/examples/rust_halt/core.v
nola/examples/rust_halt/num.v
nola/examples/rust_halt/uninit.v
nola/examples/rust_halt/prod.v
nola/examples/rust_halt/sum.v
nola/examples/rust_halt/rec.v
nola/examples/rust_halt/mod.v
nola/examples/rust_halt/ptr.v
nola/examples/rust_halt/box.v
nola/examples/rust_halt/shrref.v
nola/examples/rust_halt/mutref.v
nola/examples/rust_halt/ptrs_more.v
nola/examples/rust_halt/adequacy.v