zfc

Library for sets according to ZFC.
git clone https://git.philomathiclife.com/repos/zfc
Log | Files | Refs | README

DateCommit messageAuthorFiles+-
2024-09-06 16:16update deps. address lintsZack Newman4+114-93
2024-03-27 18:26add more lintsZack Newman2+9-1
2023-10-18 21:49minor formatting and doc changesZack Newman2+11-10
2023-09-05 22:29made proper err conversion types. added exact functions to boundedcardinalityZack Newman2+81-5
2023-09-05 21:55added boundedcardinality to set. impl more traits and methods.Zack Newman2+418-14
2023-08-28 22:12make cardinality more usefulZack Newman2+46-3
2023-08-25 00:10initZack Newman5+340-0