6 releases
0.3.2 | Mar 27, 2024 |
---|---|
0.3.1 | Oct 18, 2023 |
0.3.0 | Sep 5, 2023 |
0.2.0 | Sep 5, 2023 |
0.1.1 | Aug 28, 2023 |
#417 in Math
Used in 2 crates
29KB
709 lines
zfc
zfc
is a library for sets according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).
Status
This package will be actively maintained until it is deemed “feature complete”.
The crates are only tested on the x86_64-unknown-linux-gnu
and x86_64-unknown-openbsd
targets, but
they should work on any Tier 1 with Host Tools
target.
lib.rs
:
zfc
zfc
is a library for sets according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).
Dependencies
~495KB
~11K SLoC