6个版本
| 0.3.2 | 2024年3月27日 |
|---|---|
| 0.3.1 | 2023年10月18日 |
| 0.3.0 | 2023年9月5日 |
| 0.2.0 | 2023年9月5日 |
| 0.1.1 | 2023年8月28日 |
#446 in 数学
用于 2 crates
29KB
709 行
zfc
zfc 是一个根据 Zermelo–Fraenkel集合论公理选择（ZFC） 的集合库。
状态
此包将积极维护，直到它被认为“功能完善”。
这些crates仅在 x86_64-unknown-linux-gnu 和 x86_64-unknown-openbsd 目标上进行测试，但它们应该在任何 Tier 1 with Host Tools 目标上运行。
lib.rs:
zfc
zfc 是一个根据 Zermelo–Fraenkel集合论公理选择（ZFC） 的集合库。
依赖关系
~495KB
~11K SLoC