jagiellonian/frege-analyzer-java

Tags for jagiellonian/frege-analyzer-java

Sort by

TAG

Last pushed over 4 years by micpiotrowski

docker pull jagiellonian/frege-analyzer-java:latest

Digest	OS/ARCH	Compressed size
fe20d412c4a2	linux/amd64	273.37 MB

TAG

1.0

Last pushed over 5 years by vadpra

docker pull jagiellonian/frege-analyzer-java:1.0

Digest	OS/ARCH	Compressed size
fe20d412c4a2	linux/amd64	273.37 MB