formal verification, TLA+, model checking, theorem proving, Coq
No more posts from zenguine's subscribed feeds.
Press ? anytime to show this help