PyPI page
Home page
Author:
Isaac Mello
Summary:
A language whose programs cannot lie: speech acts, a history that is the only state, and correctness conditions derived from the program text rather than written beside it.
Latest version:
0.4.1
Required dependencies:
z3-solver
Optional dependencies:
anthropic
|
langchain
|
langchain-anthropic
|
langgraph
|
mcp
|
pytest
Downloads last day:
1
Downloads last week:
13
Downloads last month:
79
7-day smoothing