https://pypi.org/project/eleph/ Recent updates to the Python Package Index for eleph en https://pypi.org/project/eleph/0.4.1/ 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. Thu, 27 Aug 2026 20:46:47 GMT https://pypi.org/project/eleph/0.4.0/ 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. Thu, 27 Aug 2026 18:05:08 GMT https://pypi.org/project/eleph/0.3.0/ 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. Thu, 27 Aug 2026 13:42:10 GMT