Metamath (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Metamath" in French language version.

Last modified: 16:12:28, 28 May 2026 (UTC)

Ref.Un. Ref.Website

Global rank French rank

low place

low place

55planetmath.org

low place

low place

55web.archive.org

1^st place

2^nd place

13^th place

21^st place

11ghilbert-app.appspot.com

low place

low place

ghilbert-app.appspot.com (Global: low place; French: low place)

Levien,Raph, « Ghilbert »

metamath.org (Global: low place; French: low place)

us.metamath.org

Norman Megill et David A. Wheeler, Metamath: A Computer Language for Mathematical Proofs, Morrisville, North Carolina, US, Second, 2 juin 2019, 248 p. (ISBN 978-0-359-70223-7, lire en ligne)
Megill, Norman, « What is Metamath? », Metamath Home Page
Megill, « Known Metamath proof verifiers » (consulté le 14 juillet 2019)
Megill,Norman, « How Proofs Work », Metamath Proof Explorer Home Page

us2.metamath.org

TOC of Theorem List - Metamath Proof Explorer
Megill, Norman, « Reading suggestions », Metamath

planetmath.org (Global: low place; French: low place)

wiki.planetmath.org

Liné, Frédéric, « Natural deduction based Metamath system » [archive du 28 décembre 2012]
Arpiainen, Juha, « Presentation of Bourbaki » [archive du 28 décembre 2012]
Klooster,Marnix, « Presentation of Hmm » [archive du 2 avril 2012]
O'Cat,Mel, « Presentation of mmj2 » [archive du 19 décembre 2013]
Hale, William, « Presentation of mmide » [archive du 28 décembre 2012]

web.archive.org (Global: 1^st place; French: 2^nd place)

Liné, Frédéric, « Natural deduction based Metamath system » [archive du 28 décembre 2012]
Arpiainen, Juha, « Presentation of Bourbaki » [archive du 28 décembre 2012]
Klooster,Marnix, « Presentation of Hmm » [archive du 2 avril 2012]
O'Cat,Mel, « Presentation of mmj2 » [archive du 19 décembre 2013]
Hale, William, « Presentation of mmide » [archive du 28 décembre 2012]

youtube.com (Global: 13^th place; French: 21^st place)

Wheeler, David A., « Metamath set.mm contributions viewed with Gource through 2019-10-04 »