GitHub repository: leanaiorg/examples
Primary language: Shell
Description: Examples and building blocks for Lean AI Stack.