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.4
Required dependencies:
filelock
|
gitpython
|
packaging
|
psutil
|
pydantic
|
requests
|
rich
|
tqdm
Downloads last day:
422
Downloads last week:
2,672
Downloads last month:
8,960