Formal Ferris

@FormalFerris

formal verification working group

rust-lang-nursery.github.io/wg-verificatio…
Joined November 2018
1 Photo or video Photos and videos

Tweets

You blocked @FormalFerris

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @FormalFerris

  1. Jan 31

    We'll be moving the formal methods/verification discussion to zulip! Come join the conversation at

    1 retweet 2 likes
    Undo
  2. 3 Dec 2018

    Are you interested in participating in the Formal Verification working group? Fill out this poll about our (too many) chat options:

    3 likes
    Undo
  3. 27 Nov 2018

    We're baaaaaaack:

    1 retweet 1 like
    Undo

@FormalFerris hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·