summaryrefslogtreecommitdiffstats
path: root/Dockerfile
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2023-11-05 15:47:56 +0100
committerNao Pross <np@0hm.ch>2023-11-05 15:47:56 +0100
commit42a53e9cb44115748f7258bb44afa6126554fb31 (patch)
tree8f78658ec25bbdaeb68b5b29183f2c287f956907 /Dockerfile
parentPass TestFiniteMakeSetDisjointUnion (diff)
downloadact4e-42a53e9cb44115748f7258bb44afa6126554fb31.tar.gz
act4e-42a53e9cb44115748f7258bb44afa6126554fb31.zip
Fix MyFiniteSetDisjointUnion and pass more tests
TestFinitePosetRepresentation TestFinitePosetConstructionSum
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions