Chapter 19: The Ring tactic
Patrick Loiseleur and Samuel BoutinThis chapter presents the Ring tactic.
- 19.1 What does this tactic ?
- 19.2 The variables map
- 19.3 Is it automatic ?
- 19.4 Concrete usage in Coq
- 19.5 Add a ring structure
- 19.6 How does it work ?
- 19.7 History of Ring
- 19.8 Discussion about the usage of reflexion