wip

Deducteam · Jan 28, 2025 · 29be5f8 · 29be5f8
1 parent 0e8c472
commit 29be5f8
Showing 1 changed file with 1 addition and 0 deletions.
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