Sign inSign up

sourcedennis/cgc

By sourcedennis

•Updated almost 4 years ago

Proofs for "Constructive Galois Connections" by Darais et al.

Image
0

223

Tags for sourcedennis/cgc

Sort by

TAG

official

Last pushed almost 4 years by sourcedennis

docker pull sourcedennis/cgc:official
DigestOS/ARCHCompressed size

18fcb1e65563

linux/amd64

36.6 MB

TAG

latest

Last pushed almost 4 years by sourcedennis

docker pull sourcedennis/cgc:latest
DigestOS/ARCHCompressed size

8264e131396d

linux/amd64

49.4 MB