zhangir-azerbayev/lean-chat

This is stars and forks stats for /zhangir-azerbayev/lean-chat repository. As of 19 Apr, 2024 this repository has 48 stars and 5 forks.

lean-chat: user guide An OpenAI Codex-powered chat interface for translating natural language theorem statements into Lean mathlib. This interface is very much a prototype, so feel free to open issues describing bugs or UI problems. Setup Users must provide their own OpenAI API key by setting the environment variable OPENAI_API_KEY. We are working on a future version that does not require users to have a key. In the meantime, you can apply for a key here. Once your environment variable is configured,...