formal-ai 0.37.0

Formal symbolic AI proof of concept with OpenAI-compatible APIs
Documentation