Sign inSign up

ltchentw/agda

By ltchentw

•Updated over 1 year ago

Agda is a dependently typed programming language / interactive theorem prover.

Image
Languages & frameworks
0

985

Tags for ltchentw/agda

Sort by

TAG

2.7.0.1-no-emacs

Last pushed over 1 year by ltchentw

docker pull ltchentw/agda:2.7.0.1-no-emacs
DigestOS/ARCHCompressed size

06dfce86f344

linux/amd64

20.13 MB

492dcec0eed0

linux/arm64/v8

22.1 MB

TAG

2.7.0.1

Last pushed over 1 year by ltchentw

docker pull ltchentw/agda:2.7.0.1
DigestOS/ARCHCompressed size

2bbfe18e7e61

linux/amd64

72.77 MB

70505c4ce2cf

linux/arm64/v8

74.63 MB

TAG

latest

Last pushed over 1 year by ltchentw

docker pull ltchentw/agda:latest
DigestOS/ARCHCompressed size

e8192699798d

linux/amd64

72.77 MB

1b85f9c385a5

linux/arm64/v8

74.63 MB

TAG

2.6.4.3

Last pushed over 1 year by ltchentw

docker pull ltchentw/agda:2.6.4.3
DigestOS/ARCHCompressed size

ea75955ed524

linux/amd64

71.94 MB

1ceb8d82a52e

linux/arm64/v8

73.7 MB

TAG

2.6.4.3-no-emacs

Last pushed over 1 year by ltchentw

docker pull ltchentw/agda:2.6.4.3-no-emacs
DigestOS/ARCHCompressed size

0dca73ff8dfa

linux/amd64

19.3 MB

1094bf671c18

linux/arm64/v8

21.16 MB

TAG

2.6.4.1-no-emacs

Last pushed over 2 years by ltchentw

docker pull ltchentw/agda:2.6.4.1-no-emacs
DigestOS/ARCHCompressed size

cc4f7efab628

linux/amd64

21.22 MB

42ba2efa46c0

linux/arm64

23.05 MB

TAG

2.6.4.1

Last pushed over 2 years by ltchentw

docker pull ltchentw/agda:2.6.4.1
DigestOS/ARCHCompressed size

3f8e13904682

linux/amd64

73.66 MB

5a19204fc9b1

linux/arm64

75.51 MB