formal-ai 0.302.2

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation