ResearchKurrent, event-native data platformFeb 24 8mo8 months agoProof-Oriented Event Sourcing (Experimental)Proof-Oriented Event Sourcing (POES) lets AI coding agents formally verify event-sourced code as they write it, property tests, exhaustive state exploration, and temporal proofs, built on KurrentDB.Event StoreRead
Blogsby Ibis