oxilean 0.1.0

OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 4
Documentation 
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
104
105
106
107
108
109
110
111
112
113

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "lazy_static"
version = "1.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"

[[package]]
name = "oxilean"
version = "0.1.0"
dependencies = [
 "oxilean-build",
 "oxilean-codegen",
 "oxilean-elab",
 "oxilean-kernel",
 "oxilean-lint",
 "oxilean-meta",
 "oxilean-parse",
 "oxilean-runtime",
 "oxilean-std",
 "oxilean-wasm",
]

[[package]]
name = "oxilean-build"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8d026105a8ca4cf07a2cb265c0aa1871ac28ff5b6df9115c279224600b423d68"
dependencies = [
 "oxilean-kernel",
 "oxilean-parse",
]

[[package]]
name = "oxilean-codegen"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a59b08671cd3559ee10288cf09c23baa666856355979c6db81c729479aa4be4a"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-elab"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1bfbaac0a111976152f22d75ca8ce91807b7a83c3d38934b491bc61281096623"
dependencies = [
 "lazy_static",
 "oxilean-kernel",
 "oxilean-parse",
]

[[package]]
name = "oxilean-kernel"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "52bbcfee7a158b9a6336442cbe1aa1839fb017050d7813aa2f4d6bce3fa3578d"

[[package]]
name = "oxilean-lint"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b2dc6ed45626c20126901f893c9db0d4d499f07a3f799921caf092f611ae8528"
dependencies = [
 "oxilean-kernel",
 "oxilean-parse",
]

[[package]]
name = "oxilean-meta"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ee0c5809b88f0791771de706a50e40660e43761ff08a6f4500f5cd4a5efaab30"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-parse"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ac7a786786280fc6f8c67e5ab3b1bbf26f1222b868c95a1bd320c3084dd9f38d"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-runtime"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b9069df84643b1e51e12ed6009ad479071ecb547703c89032063a654a0e70314"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-std"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d6b6b06e6a91d81c29e0b652844f73e7beefab9417c555a4ff43899bf6598ad7"
dependencies = [
 "oxilean-kernel",
]

[[package]]
name = "oxilean-wasm"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "51114b4500fd21f8b05f6d586fa40c90c5654e1f99eb0bb59e0faf93a90a9add"