PyPI page
Home page
Author:
Boris Shminke
License:
Apache-2.0
Summary:
Package for generating and validating examples of different algebraic structures using Isabelle proof assistant
Latest version:
0.0.4
Required dependencies:
graphviz
|
importlib_resources
|
isabelle-client
|
nest-asyncio
|
pydocstyle
Downloads last day:
0
Downloads last week:
19
Downloads last month:
32