Lean (Q6509476)

De Wikidata
Aller à la navigation Aller à la recherche
assistant de preuve
modifier
Langue Libellé Description Également connu comme
français
Lean
assistant de preuve
    anglais
    Lean
    software for interactive and automated theorem proving
    • Lean prover

    Déclarations

    date de fondation ou de création
    2013
    0 référence
    influencé par
    Coq
    0 référence
    Isabelle
    0 référence
    plateforme
    multiplateforme
    0 référence
    langage de programmation
    C
    0 référence
    C++
    0 référence
    identifiant de version logicielle
    3.4.0
    date de publication
    16 avril 2018
    1 référence
    titre
    Release 3.4.0 (anglais)
    date de consultation
    17 avril 2018
    URL de la référence
    https://github.com/leanprover/lean/releases/tag/v3.4.0
    date de publication
    16 avril 2018
    3.4.1
    date de publication
    28 avril 2018
    1 référence
    titre
    Release 3.4.1 (anglais)
    date de consultation
    29 avril 2018
    date de publication
    28 avril 2018
    URL de la référence
    https://github.com/leanprover/lean/releases/tag/v3.4.1
    3.4.2
    date de publication
    18 janvier 2019
    1 référence
    URL de la référence
    https://github.com/leanprover/lean/releases/tag/v3.4.2
    date de consultation
    19 janvier 2019
    titre
    Release 3.4.2 (anglais)
    date de publication
    18 janvier 2019

    Identifiants

    paquet AUR
    lean-bin
    0 référence
    lean-git
    0 référence
    port FreeBSD
    math/lean
    0 référence
    nom de formule Homebrew
    lean
    0 référence
    identifiant nLab
    Lean
    0 référence
    identifiant Open Hub
    lean
    0 référence
    nom de projet Repology
    lean
    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=Q6509476&oldid=2154161084 »