formal verification, model checking, proof assistants, TLA+
No more posts from oxume's subscribed feeds.
Press ? anytime to show this help