zfc

Library for sets according to ZFC.
git clone https://git.philomathiclife.com/repos/zfc
Log | Files | Refs | README

README.md (822B)

      1 # `zfc`
      2 
      3 `zfc` is a library for sets according to
      4 [Zermelo–Fraenkel set theory with the axiom of choice (ZFC)](https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory).
      5 
      6 ## License
      7 
      8 Licensed under either of
      9 
     10 * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0).
     11 * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT).
     12 
     13 at your option.
     14 
     15 ## Contribution
     16 
     17 Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you,
     18 as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
     19 
     20 ### Status
     21 
     22 The crate is only tested on `x86_64-unknown-linux-gnu` and `x86_64-unknown-openbsd` targets, but it should work
     23 on most platforms.