Ltac2: Write a tuto about writing scripts #100
Description
Write a tuto explaining how to write proof script using Ltac2 predefined tacticals like solve
{{ message }}
Write a tuto explaining how to write proof script using Ltac2 predefined tacticals like solve