use_browser.md

ブラウザを使う

ブラウザでSATySFiを使える環境を整えてくださった方がいます。 2020年6月現在、使えるサービスは以下の2つになります。

• SATySFi playground by @pandaman64
• satysfi.ml by @theoremoon

お好きな方をご利用ください。