The following pages link to mathlib (Q52541):
Displaying 8 items.
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- Formalizing geometric algebra in Lean (Q2128117) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- Leveraging the information contained in theory presentations (Q2219380) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Schemes in Lean (Q5094471) (← links)
- Formalizing Galois Theory (Q5094476) (← links)
