PyPI page
Home page
Author:
None
Summary:
An inference engine for extensional lambda-calculus
Latest version:
0.3.1
Required dependencies:
boto3
|
hypothesis
|
immutables
|
isort
|
mypy
|
nbval
|
notebook
|
numpy
|
parsable
|
protobuf
|
psutil
|
pytest
|
pytest-timeout
|
pytest-xdist
|
pyzmq
|
ruff
|
torch
|
tqdm
Downloads last day:
0
Downloads last week:
7
Downloads last month:
36