Optimierung derOptimierung derBeweisersatzsubstitutionbessere Programmiererlebnisse.Komplexität in Beweisen reduzieren fürProgrammiersprachenVereinfachung von Substitution in BeweisassistentenEin neuer Ansatz macht die Substitution in Beweisen einfacher und klarer.2025-04-14T16:07:03+00:00 ― 7 min Lesedauer