logicalhacking/isabelle2021

•Updated over 4 years ago

Isabelle 2021, including the Archive of Formal Proofs.

315

Tags for logicalhacking/isabelle2021

Sort by

TAG

latest

Last pushed over 4 years by adbrucker

docker pull logicalhacking/isabelle2021:latest