Topic: "formalized-mathematics"
SKolodynski/IsarMathLib
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
Language: Isabelle - Size: 154 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 18 - Forks: 1
pitmonticone/LeanInVienna2024
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
Language: Lean - Size: 1.58 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 9 - Forks: 2
