Sign inSign up

logicalhacking/isabelle2019

By logicalhacking

•Updated over 5 years ago

Isabelle/HOL including the complete AFP and TexLive.

Image
0

410

Tags for logicalhacking/isabelle2019

Sort by

TAG

latest

Last pushed over 5 years by logicalhacking

docker pull logicalhacking/isabelle2019:latest
DigestOS/ARCHCompressed size

c3c136a84222

linux/amd64

1.65 GB