Tutorial about Intro patterns#73

Merged

thomas-lamiaux merged 20 commits intorocq-prover:mainfrom

thomas-lamiaux:intro-patterns

Jan 3, 2025

Commits on Dec 24, 2024

Fix Pierre Courtieu's comments
thomas-lamiaux
authored
separate example of sec5 in two part => rewriting sec3 & views sec5
thomas-lamiaux
committed
Merge branch 'intro-patterns' of github.com:thomas-lamiaux/platform-docs into intro-patterns
thomas-lamiaux
committed

Commits on Dec 27, 2024

Apply suggestions from code review

thomas-lamiaux
and
Tragicus
authored

Commits on Dec 30, 2024

Add other tactics with as
Villetaneuse
committed

Commits on Jan 3, 2025