Skill Gallery

#counterfactuals

3件のスキルがこのタグを使用しています

関連タグ

hyperintensionalitysemanticsz3-smt-solver
benbrastmckie

skill-theory-implementation

benbrastmckie / ModelChecker

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

counterfactualshyperintensionalitysemantics+1
11
benbrastmckie

skill-python-research

benbrastmckie / ModelChecker

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

counterfactualshyperintensionalitysemantics+1
11
benbrastmckie

skill-model-checker

benbrastmckie / ModelChecker

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

counterfactualshyperintensionalitysemantics+1
11