Hacker News new | ask | show | jobs
by iamwil 906 days ago
Wait, is it a reimplementation of TLA+ in Isabelle?