lean-repl-py is a Python application designed to interact with the Lean REPL (Read-Eval-Print Loop). It provides an interface for sending commands to Lean and processing responses, making it easier to ...
Evalite is a TypeScript-native eval runner designed for AI applications, enabling developers to create reproducible evals ...
As shown in the attached screenshot, my active terminal is using the base environment (highlighted in the bottom-left corner). I selected base as the project interpreter via Ctrl + Shift + P → Python: ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback