Displaying 1 to 13 of 13 repositories
Debian base-image including dependencies for Isabelle/HOL.
4y
557
Isabelle 2021, including the Archive of Formal Proofs.
4y
315
Isabelle/DOF 1.1.0 based on Isabelle 2020.
5y
262
Isabelle/DOF 1.1.0 based on Isabelle 2021.
5y
275
Isabelle/HOL including the complete AFP and TexLive.
5y
346
Isabelle/HOL including the complete AFP and TexLive.
5y
410
Isabelle/HOL including the complete AFP and TexLive.
5y
334
Isabelle/HOL including the complete AFP and TexLive.
5y
410