Hacker News new | ask | show | jobs
by deterministic 10 days ago
If I understand it correctly, more advanced logics (based around state transitions) doesn't have this problem (TLA+ etc.)