isabelle-zf

There are 1 repository under isabelle-zf topic.

• SKolodynski / IsarMathLib

  IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

  formal-proofsformal-verificationisabelle-zfformalized-mathematics
  Language:Isabelle 18