verification
TLA
★ 1
updated 2d ago
Just a bunch off stuff related to formal verification of Strimzi, Kafka and compilers related..
No plain-English explanation yet — one is being written right now. Check back in a minute.