logicalhacking/isabelle2022

•Updated over 3 years ago

Image

224

logicalhacking/isabelle2022 repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:6f5763587…

Size

4 GB

Last updated

over 3 years ago

docker pull logicalhacking/isabelle2022