Software Search - zbMATH Open

mathlib

swMATH ID:	36839
Software Authors:	van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.; The mathlib Community
Description:	Maintaining a library of formal mathematics. The Lean mathematical library mathlib is developed by a community of users with very different backgrounds and levels of experience. To lower the barrier of entry for contributors and to lessen the burden of reviewing contributions, we have developed a number of tools for the library which check proof developments for subtle mistakes in the code and generate documentation suited for our varied audience.
Homepage:	https://leanprover-community.github.io
Source Code:	https://github.com/leanprover-community/mathlib
Keywords:	formal mathematics; library development; linting
Related Software:	Lean; Coq; Isabelle/HOL; GitHub; Archive Formal Proofs; Agda; Mizar; PVS; Coquelicot; Isabelle; hierarchy-builder; Metamath; Flyspeck; Mathematical Components; HOL Light; Nuprl; Minkowskis_Theorem; PARI/GP; Gaussian_Integers; KANT/KASH
Cited in:	32 Documents

1 Publication describing the Software, including 1 Publication in zbMATH	Year
Maintaining a library of formal mathematics. Zbl 1455.68262 van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.	2020

all top 5

3	Baanen, Anne
3	Lewis, Robert Y.
3	Wieser, Eric
2	Affeldt, Reynald
2	Buzzard, Kevin
2	Cohen, Cyril
2	Dahmen, Sander R.
2	Mir, Ramon Fernández
2	Narayanan, Ashvni
2	Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
2	Sakaguchi, Kazuhiko
1	Appenzeller, Raphael
1	Avelar, Andréia Borges
1	Avigad, Jeremy
1	Ayala-Rincón, Mauricio
1	Ayers, Edward William
1	Bengio, Yoshua
1	Bentzen, Bruno
1	Boldo, Sylvie
1	Brain, Martin
1	Browning, Thomas L.
1	Carette, Jacques
1	Cid, Carlos Frederico
1	Clément, François
1	de Lima, Thaynara Arielly
1	Dupuis, Frédéric
1	Ebner, Gabriel
1	Faissole, Florian
1	Farmer, William M.
1	Flaten, Jarl G. Taxerås
1	Furushima, Hideharu
1	Galdino, André Luiz
1	Gouëzel, Sébastien
1	Hirata, Michikazu
1	Hughes, Chris
1	Kerjean, Marie
1	Kharim, Aabid Seeyal Abdul
1	Lau, Kenny
1	Livingston, Amelia
1	Löh, Clara
1	Lutz, Patrick
1	Macbeth, Heather R.
1	Mahboubi, Assia
1	Malkin, Nikolay
1	Martin, Vincent
1	Mayero, Micaela
1	Mehta, Bhavik
1	Minamide, Yasuhiko
1	Nakasho, Kazuhisa
1	Nash, Oliver
1	Piotrowski, Bartosz
1	Player, Rachel
1	Prathamesh, T. V. H.
1	Rajiv, Shweta
1	Robson, Wrenna
1	Rouhling, Damien
1	Sato, Tetsuya
1	Sharoda, Yasmine
1	Shigenaka, Seigo
1	Song, Utensil
1	Uschold, Matthias
1	van Doorn, Floris
1	Vyas, Rishi
1	Wasaki, Katsumi
1	Wu, Minchao
1	Yamamichi, Daichi
1	Zhang, Jujian

all top 5

7	Journal of Automated Reasoning
2	Bulletin of the American Mathematical Society. New Series
2	Experimental Mathematics
1	Mathematical Structures in Computer Science
1	Advances in Applied Clifford Algebras
1	Computability
1	Analysis and Geometry in Metric Spaces

all top 5

29	Computer science (68-XX)
4	Mathematical logic and foundations (03-XX)
3	Number theory (11-XX)
3	Commutative algebra (13-XX)
2	Group theory and generalizations (20-XX)
2	Information and communication theory, circuits (94-XX)
1	General and overarching topics; collections (00-XX)
1	Combinatorics (05-XX)
1	Order, lattices, ordered algebraic structures (06-XX)
1	General algebraic systems (08-XX)
1	Field theory and polynomials (12-XX)
1	Algebraic geometry (14-XX)
1	Linear and multilinear algebra; matrix theory (15-XX)
1	Associative rings and algebras (16-XX)
1	Nonassociative rings and algebras (17-XX)
1	Real functions (26-XX)
1	Geometry (51-XX)
1	Quantum theory (81-XX)