diff options
| author | Fabian Affolter <mail@fabian-affolter.ch> | 2024-05-21 12:00:16 +0200 |
|---|---|---|
| committer | Fabian Affolter <mail@fabian-affolter.ch> | 2024-05-21 12:00:16 +0200 |
| commit | 4e910390b4af164be5f467d8b300dd49e4efcf90 (patch) | |
| tree | 21cd0cb89ea0f24599f69160a37b8e181bfb5df9 /pkgs/development/python-modules/rangehttpserver | |
| parent | 27851edc9dde0393e2275068365e6d0f5655bde4 (diff) | |
python312Packages.model-checker: init at 0.3.13
A hyperintensional theorem prover for counterfactual conditionals
and modal operators
https://pypi.org/project/model-checker/
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions