Sign inSign up

logicalhacking/isabelle2017

By logicalhacking

•Updated over 5 years ago

Isabelle/HOL including the complete AFP and TexLive.

Image
0

346

Tags for logicalhacking/isabelle2017

Sort by

TAG

latest

Last pushed over 5 years by logicalhacking

docker pull logicalhacking/isabelle2017:latest
DigestOS/ARCHCompressed size

4fa059d517f2

linux/amd64

1.65 GB