Pages that link to "Item:Q2219408"
From MaRDI portal
The following pages link to Maintaining a library of formal mathematics (Q2219408):
Displaying 6 items.
- mathlib (Q52541) (← links)
- The Lean 4 theorem prover and programming language (Q2055901) (← links)
- Formalizing geometric algebra in Lean (Q2128117) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- (Q4413892) (← links)
- A formalization of the change of variables formula for integrals in mathlib (Q6159362) (← links)
