Metamath (Q6822975)

De Wikidata
Aller à la navigation Aller à la recherche
Langage formel et assistant de preuve associé
  • Metamath Proof Explorer
modifier
Langue Libellé Description Également connu comme
français
Metamath
Langage formel et assistant de preuve associé
  • Metamath Proof Explorer
anglais
Metamath
Formal language and associated computer program
  • Metamath Proof Explorer
  • metamath.org

Déclarations

nature de l’élément
site web
0 référence
logiciel libre
0 référence
assistant de preuve
0 référence
designer
Norman D. Megill anglais
0 référence
identifiant de version logicielle
0.181
date de publication
12 février 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.181
date de consultation
29 juin 2021
titre
Release 0.181 (anglais)
date de publication
12 février 2020
0.184
date de publication
19 juillet 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.184
date de consultation
29 juin 2021
titre
Release 0.184 (anglais)
date de publication
19 juillet 2020
0.189
date de publication
4 septembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.189
date de consultation
29 juin 2021
titre
Release 0.189 (anglais)
date de publication
4 septembre 2020
0.190
date de publication
5 septembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.190
date de consultation
29 juin 2021
titre
Release 0.190 (anglais)
date de publication
5 septembre 2020
0.191
date de publication
5 septembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.191
date de consultation
29 juin 2021
titre
Release 0.191 (anglais)
date de publication
5 septembre 2020
0.192
date de publication
5 septembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.192
date de consultation
29 juin 2021
titre
Release 0.192 (anglais)
date de publication
5 septembre 2020
0.193
date de publication
12 septembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.193
date de consultation
29 juin 2021
titre
Release 0.193 (anglais)
date de publication
12 septembre 2020
0.194
date de publication
27 décembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.194
date de consultation
29 juin 2021
titre
Release 0.194 (anglais)
date de publication
27 décembre 2020
0.195
date de publication
30 décembre 2020
1 référence
URL de la référence
https://github.com/metamath/metamath-exe/releases/tag/v0.195
date de consultation
29 juin 2021
titre
Release 0.195 (anglais)
date de publication
30 décembre 2020

Identifiants

identifiant nLab
Metamath
0 référence
 
modifier
modifier
    modifier
      modifier
        modifier
          modifier
            modifier
              modifier
                modifier
                  Récupérée de « https://www.wikidata.org/w/index.php?title=Q6822975&oldid=2185660888 »