#set #axiom #theory #choice #zermelo–fraenkel

no-std zfc

Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC)

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

#427 in Math


Used in 2 crates

MIT/Apache

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