PyRank

Hyperintensionality Python Packages

Python packages with the GitHub topic hyperintensionality. Sorted by relevance, with stars and monthly downloads.
benbrastmckie
model-checker

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

6K 13 3