Mario Carneiro

Lean 4 verbessert die formale Verifikation mit einem externen Verifier für genauere Beweise.

2025-08-27T09:18:00+00:00 ― 7 min Lesedauer

Ein formeller Beweis bestätigt die leere Sechseckzahl mit Hilfe von computergestützten Methoden.

2025-08-25T07:39:42+00:00 ― 6 min Lesedauer