PyPI page
Home page
Author:
maxtheman
License:
Apache Software License 2.0
Summary:
Mathematical proof assistant for students and amateurs.
Latest version:
0.0.3
Required dependencies:
anyio
|
appnope
|
argon2-cffi
|
argon2-cffi-bindings
|
arrow
|
asttokens
|
astunparse
|
async-lru
|
attrs
|
babel
|
backcall
|
beautifulsoup4
|
bleach
|
certifi
|
cffi
|
charset-normalizer
|
comm
|
debugpy
|
decorator
|
defusedxml
|
exceptiongroup
|
execnb
|
executing
|
fastcore
|
fastjsonschema
|
fqdn
|
ghapi
|
idna
|
importlib-metadata
|
importlib-resources
|
ipykernel
|
ipython
|
isoduration
|
jedi
|
jinja2
|
json5
|
jsonpointer
|
jsonschema
|
jupyter-client
|
jupyter-core
|
jupyter-events
|
jupyter-lsp
|
jupyter-server
|
jupyter-server-terminals
|
jupyterlab
|
jupyterlab-pygments
|
jupyterlab-quarto
|
jupyterlab-server
|
markupsafe
|
matplotlib-inline
|
mistune
|
mpmath
|
nbclient
|
nbconvert
|
nbdev
|
nbformat
|
nest-asyncio
|
notebook-shim
|
overrides
|
packaging
|
pandocfilters
|
parso
|
pexpect
|
pickleshare
|
pkgutil-resolve-name
|
platformdirs
|
prometheus-client
|
prompt-toolkit
|
psutil
|
ptyprocess
|
pure-eval
|
pycparser
|
pygments
|
pyrsistent
|
python-dateutil
|
python-json-logger
|
pytz
|
pyyaml
|
pyzmq
|
requests
|
rfc3339-validator
|
rfc3986-validator
|
send2trash
|
six
|
sniffio
|
soupsieve
|
stack-data
|
sympy
|
terminado
|
tinycss2
|
tomli
|
tornado
|
traitlets
|
typing-extensions
|
uri-template
|
urllib3
|
watchdog
|
wcwidth
|
webcolors
|
webencodings
|
websocket-client
|
zipp
Downloads last day:
4
Downloads last week:
9
Downloads last month:
33