PyPI page
Home page
Author:
None
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.2
Required dependencies:
filelock
|
gitpython
|
packaging
|
psutil
|
pydantic
|
requests
|
rich
|
tqdm
Downloads last day:
237
Downloads last week:
1,646
Downloads last month:
6,716