PyPI page
Home page
Author:
None
Summary:
A high-level functional language for writing mathematically-precise specifications for neural networks.
Latest version:
0.24.1
Required dependencies:
auditwheel
|
delocate
|
jaxtyping
|
pre-commit
|
pytest
|
tensorflow
|
torch
|
typing-extensions
Optional dependencies:
build
|
jax
|
numpy
|
packaging
|
pre-commit
|
pygments
|
pytest
|
types-pygments
|
types-setuptools
Downloads last day:
7
Downloads last week:
173
Downloads last month:
1,229