Update doc/sphinx/proof-engine/ltac.rst #176

Triggered via push August 3, 2023 08:17

Zimmi48

note-ltac1-ltac2

Status Success

Total duration 1h 35m 35s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB