search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

Isabelle2020 released, IsarMathLib still at Isabelle2019 #5

Closed SKolodynski closed 4 years ago

SKolodynski commented 4 years ago

Upgrade to Isabelle 2020 is needed.