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.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2017 Microsoft