PyPI page
Home page
Author:
None
License:
GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007 Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/> Everyone is permitted to copy and distribute verbatim copies of this license do...
Summary:
Graphical proof assistant for learning proofs
Latest version:
0.4
Required dependencies:
dictdiffer
|
diff-match-patch
|
parsimonious
|
pickle5
|
pyside2
|
pytest
|
qtrio
|
requests
|
toml
|
tomli-w
|
trio
Downloads last day:
15
Downloads last week:
55
Downloads last month:
137