zfc
| Crates.io | zfc |
| lib.rs | zfc |
| version | 0.4.0 |
| source | src |
| created_at | 2023-08-25 00:54:50.219064 |
| updated_at | 2024-09-06 16:17:04.948614 |
| description | Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC). |
| homepage | |
| repository | https://git.philomathiclife.com/repos/zfc/ |
| max_upload_size | |
| id | 954259 |
| size | 29,461 |
philomathic_life (zacknewman)
documentation
https://docs.rs/zfc/latest/zfc/
README
zfc
zfc is a library for sets according to
Zermelo–Fraenkel set theory with the axiom of choice (ZFC).
License
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0).
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT).
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Status
The crate is only tested on x86_64-unknown-linux-gnu and x86_64-unknown-openbsd targets, but it should work
on most platforms.