Pinned Loading

1. pyle pyle Public

   Python Lean Evaluator

   Lean

2. blv blv Public

   Bulk Lean Verifier

   Python

3. Quick-and-dirty code for few-shot pr... Quick-and-dirty code for few-shot prompting with OpenAI models.

   1

   #!/usr/bin/env python3

   2

   3

   import random

   4

   import os

   5

   import sys

4. offendo.github.io offendo.github.io Public

   JavaScript

5. repl repl Public

   Forked from leanprover-community/repl

   A simple REPL for Lean 4, returning information about errors and sorries.

   Lean

6. Dark brown color scheme Dark brown color scheme

   1

   {

   2

     "$schema": "https://zed.dev/schema/themes/v0.2.0.json",

   3

     "name": "Odo Dark",

   4

     "author": "offendo",

   5

     "themes": [