scientific-computingresearch
bisimulation-checker
Checks bisimulation for process calculi. Use when: (1) Proving equivalence, (2) Compiler optimization, (3) Protocol verification.
maintainer
rainoftime
更新日 2/19/2026
スター
15
フォーク
2
quick start
Installation and usage
Checks bisimulation for process calculi. Use when: (1) Proving equivalence, (2) Compiler optimization, (3) Protocol verification.
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：
skills use bisimulation-checker