History / Ltac

Edit page New page

Revisions

update FAQ url

SkySkimmer committed Mar 28, 2025

dc1ea1f
Link back to the Coq FAQ main page.

Zimmi48 committed Apr 23, 2018

9a77322
Ltac.md: no need for heavy 'Coq < ' here

letouzey committed Dec 15, 2017

55ee77e
Created Ltac (markdown)

mattjquinn committed Dec 10, 2017

a621a9e