carloperassi/aristowrap

•Updated 5 days ago

CLI around Harmonic aristotle (Lean 4 + Mathlib)

Image

Languages & frameworks

395

Tags for carloperassi/aristowrap

Sort by

TAG

90ca880

Last pushed 5 days by carloperassi

docker pull carloperassi/aristowrap:90ca880

Digest	OS/ARCH	Compressed size
daa6a7685e73	linux/amd64	815.63 MB

TAG

main

Last pushed 5 days by carloperassi

docker pull carloperassi/aristowrap:main

Digest	OS/ARCH	Compressed size
daa6a7685e73	linux/amd64	815.63 MB

TAG

da0f1d9

Last pushed 4 months by carloperassi

docker pull carloperassi/aristowrap:da0f1d9

Digest	OS/ARCH	Compressed size
40e1eaf231ae	linux/amd64	820.29 MB

TAG

eb482ae

Last pushed 5 months by carloperassi

docker pull carloperassi/aristowrap:eb482ae

Digest	OS/ARCH	Compressed size
f45a52818900	linux/amd64	820.75 MB

TAG

244b63c

Last pushed 6 months by carloperassi

docker pull carloperassi/aristowrap:244b63c

Digest	OS/ARCH	Compressed size
339e638f1b3d	linux/amd64	820.35 MB

TAG

ed07a8f

Last pushed 6 months by carloperassi

docker pull carloperassi/aristowrap:ed07a8f

Digest	OS/ARCH	Compressed size
f8ea9bcc0824	linux/amd64	820.35 MB