unsat/lean

•Updated almost 5 years ago

Image

3.7K

Tags for unsat/lean

Sort by

TAG

3.35.0_1

Last pushed almost 5 years by lukenels2

docker pull unsat/lean:3.35.0_1

Digest	OS/ARCH	Compressed size
d0f44b298e1d	linux/amd64	805.95 MB