Der Coq-Code verwendete einen Taktikkombinator, der automatisch mehrere einfachere Beweisschritte kombinierte und den Verifizierungsprozess deutlich beschleunigte.
Der taktische PlandesTeams für die Spendenaktion der Schule umfasste das Aufstellen von Ständen in verschiedenen Teilen des Schulhofs, umdie Bekanntheit zu maximieren.
Der taktische Ansatzdes Schülers beim Lernen, sich zuerst auf Schlüsselkonzepte zu konzentrieren, half ihm, in seinen Prüfungen hervorragende Leistungen zu erbringen.