🔧 When Lean Proved My Durability Definition Too Easily
Nachrichtenbereich: 🔧 Programmierung
🔗 Quelle: dev.to
TL;DR
I tried to formalize a small ACID-like model in Lean 4.
Consistency became invariant preservation.
Isolation became a deliberately strong commutation law.
Durability exposed that my model had... [Weiterlesen]