Inductive Theorem Proving via Abstraction

Authors
Publication date
Publisher

Abstract

We use abstraction as a tool to paln proofs by inductive inside ABSFOL, an interactive theorem prover with abstractio

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio della ricerca - Fondazione Bruno Kessler

    redirect
    oaioai:cris.fbk.eu:11582/1229
    Last time updated on 03/09/2019