ysli/lngen

•Updated over 6 years ago

Locally Nameless definitions and proofs in Coq

Image

2.2K

Tags for ysli/lngen

Sort by

TAG

latest

Last pushed over 6 years by ysli

docker pull ysli/lngen:latest

Digest	OS/ARCH	Compressed size
4f8e370de798	linux/amd64	2.05 GB

TAG

8.11

Last pushed over 6 years by ysli

docker pull ysli/lngen:8.11

Digest	OS/ARCH	Compressed size
04d12e35d64f	linux/amd64	1.56 GB

TAG

8.10

Last pushed over 6 years by ysli

docker pull ysli/lngen:8.10

Digest	OS/ARCH	Compressed size
b5e8cf1db10d	linux/amd64	1.54 GB