Ltac2: Intro to Ltac2 #97

Open

Labels

opened

on Apr 21, 2025

Write an intro to Ltac2 as a ML language, for people that have ever seen a ML language as a preliminary to read before reading Ltac2 basics

Metadata

Assignees

No one assigned

Labels

Fields

No fields configured for issues without a type.

Projects

Documenting Ltac2

Status

Wish

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests