bex
How will these encoders behave?
loading...
'►' shortcut: Alt+B
about Bex - A domain specific language for writing and analyzing string encoders and decoders
With bex, you can answer prove the correctness of string coders.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct