Skip to content

Ltac2: Write a tuto about writing scripts #100

Open
Open
Ltac2: Write a tuto about writing scripts#100
Labels
WishWish for Tutorial or How-to guidesdocumentationImprovements or additions to documentation
@thomas-lamiaux

Description

@thomas-lamiaux
thomas-lamiaux
opened on Apr 21, 2025

Write a tuto explaining how to write proof script using Ltac2 predefined tacticals like solve

Metadata

Metadata

Assignees

No one assigned

    Labels

    WishWish for Tutorial or How-to guidesdocumentationImprovements or additions to documentation

    Projects

    Documenting Ltac2

    Status

    Wish

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions