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