owings1/pytableaux

By owings1

•Updated about 3 years ago

A multi-logic proof generator.

Image

2.5K

Overview Tags

Tags for owings1/pytableaux

Sort by

TAG

2.3.3

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.3.3

Digest	OS/ARCH	Compressed size
9c2ba23e608d	linux/amd64	47.87 MB

TAG

latest

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:latest

Digest	OS/ARCH	Compressed size
cda8fca5cf11	linux/amd64	47.87 MB

TAG

2.3.1

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.3.1

Digest	OS/ARCH	Compressed size
1d9391fee6eb	linux/amd64	47.86 MB

TAG

2.3.0

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.3.0

Digest	OS/ARCH	Compressed size
16a640b1685a	linux/amd64	47.63 MB

TAG

2.2.10

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.10

Digest	OS/ARCH	Compressed size
37da4cef7e0a	linux/amd64	47.61 MB

TAG

2.2.9

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.9

Digest	OS/ARCH	Compressed size
af3584f32a05	linux/amd64	47.46 MB

TAG

2.2.8

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.8

Digest	OS/ARCH	Compressed size
02707d4bf46c	linux/amd64	47.41 MB

TAG

2.2.7

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.7

Digest	OS/ARCH	Compressed size
1347d7cea2f4	linux/amd64	47.41 MB

TAG

2.2.6

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.6

Digest	OS/ARCH	Compressed size
2131a3cd448e	linux/amd64	49.51 MB

TAG

2.2.5

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.5

Digest	OS/ARCH	Compressed size
40443cb569a9	linux/amd64	49.5 MB

TAG

2.2.4

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.4

Digest	OS/ARCH	Compressed size
fbc89fde392c	linux/amd64	49.36 MB

TAG

2.2.3

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.3

Digest	OS/ARCH	Compressed size
1299cf2b4c8e	linux/amd64	49.35 MB

TAG

2.2.2

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.2

Digest	OS/ARCH	Compressed size
4d0449723fe0	linux/amd64	49.36 MB

TAG

2.2.1

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.1

Digest	OS/ARCH	Compressed size
a5ce2e342e17	linux/amd64	47.39 MB

TAG

2.2.0

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:2.2.0

Digest	OS/ARCH	Compressed size
9137f38feca9	linux/amd64	47.41 MB

TAG

dev

Last pushed about 3 years by owings1

docker pull owings1/pytableaux:dev

Digest	OS/ARCH	Compressed size
683a3793a88e	linux/amd64	47.41 MB

TAG

2.1.6

Last pushed over 3 years by owings1

docker pull owings1/pytableaux:2.1.6

Digest	OS/ARCH	Compressed size
1e8c547de6ae	linux/amd64	85.7 MB

TAG

2.0.2

Last pushed about 4 years by owings1

docker pull owings1/pytableaux:2.0.2

Digest	OS/ARCH	Compressed size
e53851e164c7	linux/amd64	160.62 MB

TAG

1.7.0

Last pushed almost 5 years by owings1

docker pull owings1/pytableaux:1.7.0

Digest	OS/ARCH	Compressed size
7c3763ab4b71	linux/amd64	147.92 MB

TAG

1.6.4

Last pushed about 5 years by owings1

docker pull owings1/pytableaux:1.6.4

Digest	OS/ARCH	Compressed size
57e6c8168f00	linux/amd64	142.34 MB

TAG

1.5.15

Last pushed over 6 years by owings1

docker pull owings1/pytableaux:1.5.15

Digest	OS/ARCH	Compressed size
531865aad778	linux/amd64	140.95 MB