PyPI page
Author:
Matěj Kripner
License:
MIT
Summary:
REPL interaction and data extraction for Lean 4.
Latest version:
1.0.0
Required dependencies:
numpy
|
prettyprinttree
|
psutil
|
tqdm
Downloads last day:
0
Downloads last week:
13
Downloads last month:
17
7-day smoothing