v1.2.0
60b6f69f
·
Nutze das EDF-Optimalitätstheorem in der Beweisführung
·
Apr 10, 2026
Release:
1.2.0