zfc
| Crates.io | zfc |
| lib.rs | zfc |
| version | 0.3.2 |
| source | src |
| created_at | 2023-08-25 00:54:50.219064 |
| updated_at | 2024-03-27 18:26:35.919606 |
| description | Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC) |
| homepage | |
| repository | https://git.philomathiclife.com/repos/zfc/ |
| max_upload_size | |
| id | 954259 |
| size | 28,441 |
philomathic_life (zacknewman)
documentation
https://docs.rs/zfc/latest/zfc/
README
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.