Sign inSign up

logicalhacking/isabelle2020

By logicalhacking

•Updated over 5 years ago

Isabelle/HOL including the complete AFP and TexLive.

Image
0

410

Tags for logicalhacking/isabelle2020

Sort by

TAG

latest

Last pushed over 5 years by logicalhacking

docker pull logicalhacking/isabelle2020:latest
DigestOS/ARCHCompressed size

27ee45096d2f

linux/amd64

1.65 GB