Displaying 1 to 13 of 13 repositories
Debian base-image including dependencies for Isabelle/HOL.
4y
559
Isabelle 2021, including the Archive of Formal Proofs.
4y
326
Isabelle/DOF 1.1.0 based on Isabelle 2020.
5y
266
Isabelle/DOF 1.1.0 based on Isabelle 2021.
5y
277
Isabelle/HOL including the complete AFP and TexLive.
5y
351
Isabelle/HOL including the complete AFP and TexLive.
5y
418
Isabelle/HOL including the complete AFP and TexLive.
5y
338
Isabelle/HOL including the complete AFP and TexLive.
5y
415