TauCetiProjectTauCeti

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Displaying 1-5 of 5 packages depending on TauCetiProject/TauCeti
Sort by

  1. kim-em/Hexuses0dbbe25

    Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex

  2. leanprover/lean-evaluses522706e

    Comparator-based Lean formal mathematics eval

  3. CBirkbeck/LeanBridgeusesa4e184f

    Link LMFDB and Lean

  4. thefundamentaltheor3m/SphereCetiuses8671bee

  5. TauCetiProject/TauCetiRoadmapusesa780c7a

    Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.