elle

Isabelle ★ 697 updated 4d ago

Black-box transactional safety checker based on cycle detection

No plain-English explanation yet — one is being written right now. Check back in a minute.