HOL(y)Hammer: online ATP service for HOL Light (Q2018657): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: MetiTarski / rank
 
Normal rank

Revision as of 00:19, 29 February 2024

scientific article
Language Label Description Also known as
English
HOL(y)Hammer: online ATP service for HOL Light
scientific article

    Statements

    HOL(y)Hammer: online ATP service for HOL Light (English)
    0 references
    0 references
    0 references
    25 March 2015
    0 references
    automated theorem proving
    0 references
    interactive theorem proving
    0 references
    machine learning
    0 references
    formal proof assistants
    0 references
    large-theory automated reasoning
    0 references
    HOL Light
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references