PyRank

Hyperintensionality Python Packages

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

A hyperintensional theorem prover for rapidly prototyping modular semantic theories

5K 12 3