Hacker News new | ask | show | jobs
by dtornow 1962 days ago
With specifications in First Order Logic (TLA+ syntax)