Sign inSign up

ag161/rpi

By ag161

•Updated over 2 years ago

Image for running LeanDojo's ReProver

Image
0

80

Tags for ag161/rpi

Sort by

TAG

v0.1

Last pushed over 2 years by ag161

docker pull ag161/rpi:v0.1
DigestOS/ARCHCompressed size

65af3f00c769

linux/amd64

9.29 GB