LAUNCH · SIGNAL STARTUP
Show HN: Bisimia – A TLA+ environment that runs in the browser
Bisimia is a browser-based local-first environment to write and model-check TLA+ specs.I started working on this in January wanting to have a better environment to write TLA+ spec…
出典・元記事Hacker News — Show HNhttps://bisimia.com 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP