There is a newer version of the record available.

Published March 16, 2020 | Version 0.1.3
Software Open

RaphaelS1/set6: set6 0.1.3

Authors/Creators

Description

  • Added assertion for testing if a set is countably finite
  • Slight speed improvements to operations - still require a lot of work
  • Fixed bug in UnionSet cardinality calculation
  • Fixed bug in UniversalSet countability

Files

RaphaelS1/set6-0.1.3.zip

Files (412.2 kB)

Name Size Download all
md5:2e355462158404f8e275fdd527ac3b7c
412.2 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/RaphaelS1/set6/tree/0.1.3 (URL)