How will these encoders behave?
'►' 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.
Privacy & Cookies
| © 2019 Microsoft