Maintaining a library of formal mathematics
From MaRDI portal
Publication:2219408
DOI10.1007/978-3-030-53518-6_16zbMath1455.68262arXiv2004.03673OpenAlexW3100204936MaRDI QIDQ2219408
Gabriel Ebner, Floris van Doorn, Robert Y. Lewis
Publication date: 20 January 2021
Full work available at URL: https://arxiv.org/abs/2004.03673
Formalization of mathematics in connection with theorem provers (68V20) Mathematical knowledge management (68V30)
Related Items (6)
Formalizing geometric algebra in Lean ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ A formalization of the change of variables formula for integrals in mathlib ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ The Lean 4 theorem prover and programming language ⋮ mathlib
Uses Software
This page was built for publication: Maintaining a library of formal mathematics
