PyPI page
Home page
Author:
None
Summary:
A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2
Latest version:
2.0.6
Required dependencies:
jinja2
|
kimina-ast-client
|
langchain-core
|
langchain-openai
|
langgraph
|
lean-xplore
|
rich
|
typer
|
typing-extensions
Downloads last day:
0
Downloads last week:
99
Downloads last month:
237