leantree

PyPI page
Home 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: 5
Downloads last week: 16
Downloads last month: 31