mathlib

swMATH36839MaRDI QIDQ52541

Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.

No author found.

Source code repository: https://github.com/leanprover-community/mathlib

Described by source

• Maintaining a library of formal mathematics

Related Items (8)

Formalizing geometric algebra in Lean ⋮ Program logic for higher-order probabilistic programs in Isabelle/HOL ⋮ Schemes in Lean ⋮ Formalizing Galois Theory ⋮ A Coq formalization of Lebesgue integration of nonnegative functions ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ Leveraging the information contained in theory presentations ⋮ Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem

This page was built for software: mathlib