formality-core
| Crates.io | formality-core |
| lib.rs | formality-core |
| version | 0.1.1 |
| created_at | 2023-11-01 09:43:21.343801+00 |
| updated_at | 2023-11-01 09:44:50.791641+00 |
| description | Language-independent formality system used by a-mir-formality |
| homepage | https://rust-lang.github.io/a-mir-formality/ |
| repository | https://github.com/rust-lang/a-mir-formality/ |
| max_upload_size | |
| id | 1020816 |
| size | 92,630 |
types (github:rust-lang:types)
documentation
README
formality-core
formality_core is the language independent part of a-mir-formality.
It can be reused by other projects looking to model formal semantics of languages besides Rust.