Pinned Loading

1. LeanTool LeanTool Public

   A "code intepreter" for Lean

   Python 70 5

2. ArtificialAlgorithms ArtificialAlgorithms Public

   Verified algorithms in Lean, implemented and proved by AIs

   Lean 6 1

3. ProvablyCorrectVibeCoding ProvablyCorrectVibeCoding Public

   Web app for vibe coding in Lean

   Python 1

4. CodeProofTheArena CodeProofTheArena Public

   Lean coding problem solving challenge website with proof verification

   Python 12

5. SafeVerify SafeVerify Public

   A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

   Lean 19

6. CodeProofBenchmark CodeProofBenchmark Public

   Benchmark set of code-with-proof problems and solutions

   Lean 5 1