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).