PyPI page
Author:
Auguste Poiroux
License:
MIT License Copyright (c) 2025 Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Softw...
Summary:
LeanInteract is a Python package that allows you to interact with the Lean theorem prover.
Latest version:
0.11.5
Required dependencies:
filelock
|
gitpython
|
packaging
|
psutil
|
pydantic
|
requests
|
rich
|
tqdm
Downloads last day:
168
Downloads last week:
811
Downloads last month:
6,673
7-day smoothing