mrs-proof 0.2.2

Proof objects and TSTP output for automated theorem proving
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

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

[[package]]
name = "mrs-core"
version = "0.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d95e132cdcf09b8c9e3809c7d88f62f4a14108468e5a6a027f7bd50b47486c12"
dependencies = [
 "rustc-hash",
 "smallvec",
]

[[package]]
name = "mrs-proof"
version = "0.2.2"
dependencies = [
 "mrs-core",
 "mrs-szs",
]

[[package]]
name = "mrs-szs"
version = "0.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cf36f37f7028dbc5ee73232767149e6af2b59ef082cf7d15314195b119156184"

[[package]]
name = "rustc-hash"
version = "2.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "94300abf3f1ae2e2b8ffb7b58043de3d399c73fa6f4b73826402a5c457614dbe"

[[package]]
name = "smallvec"
version = "1.15.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90"