wip

fblanqui · fblanqui · commit 29be5f84a19e · 2025-01-28T15:56:01.000+01:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -12,6 +12,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 
 ### Fixed
 
+- Why3 tactic.
 - Induction tactic.
 
 ### Changed
