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