Kategorie:
Leanstral
Mistrals Leanstral-Modelle für Lean 4, formale Beweise und Code-Verifikation.
-
Der Beweisautomat hört erst auf, wenn die Schraube wirklich passt
Mistral schiebt Leanstral 1.5 in die Werkstatt: ein offenes Modell für Lean-4-Beweise, Code-Verifikation und die Sorte Geduld, bei der die Prüflampe erst grün wird, wenn das Metall nicht mehr lügt.