formal-ai 0.258.0

Formal symbolic AI implementation with OpenAI-compatible APIs