Sign inSign up

logicalhacking/isabelle2018

By logicalhacking

•Updated over 5 years ago

Isabelle/HOL including the complete AFP and TexLive.

Image
0

334

Tags for logicalhacking/isabelle2018

Sort by

TAG

latest

Last pushed over 5 years by logicalhacking

docker pull logicalhacking/isabelle2018:latest
DigestOS/ARCHCompressed size

9e71cb996f8c

linux/amd64

1.65 GB