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.

lib.rs:

zfc

zfc is a library for sets according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).