mathlib
Cited in 32 Documents (2020–2024) |
Software Authors: | van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.; The mathlib Community |
Related Software: | Lean; Coq; Isabelle/HOL; … |
Main Fields: | Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); … |