Pinned Loading

1. goedels-poetry goedels-poetry Public

   A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2

   Python 29 1

2. Andrews-Curtis Andrews-Curtis Public

   MPI based Andrews-Curtis move enumerator

   C++ 5 1

3. kimina-lean-server kimina-lean-server Public

   Forked from project-numina/kimina-lean-server

   Kimina Lean server (+ client SDK)

   Python 1 1

4. lean-explore lean-explore Public

   Forked from justincasher/lean-explore

   A search engine for Lean 4 declarations

   Python 2 1