Pinned Loading

1. NeqLIPS NeqLIPS Public

   NeqLIPS: a powerful Olympiad-level inequality prover

   Lean 40 2

2. llmlean llmlean Public

   Forked from cmu-l3/llmlean

   LLMs + Lean, on your laptop or in the cloud

   Lean

3. openevolve openevolve Public

   Forked from algorithmicsuperintelligence/openevolve

   Open-source implementation of AlphaEvolve

   Python 2