Isabelle (Q460340)

De Wikidata
Aller à la navigation Aller à la recherche
logiciel
modifier
Langue Libellé Description Également connu comme
français
Isabelle
logiciel
    anglais
    Isabelle
    higher-order logic (HOL) automated theorem prover

      Déclarations

      Identifiants

       
      modifier
      modifier
        modifier
          modifier
            modifier
              modifier
                modifier
                  modifier
                    modifier