TauCetiProjectTauCeti

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

  1. leanprover/hexuses1c497c3

    Verified computational algebra in Lean 4: aggregator for the released hex libraries

  2. kim-em/Hexuses1c497c3

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

  3. leanprover/lean-evaluses522706e

    Comparator-based Lean formal mathematics eval

  4. LeanPool/lean-pooluses5189e8a

  5. CBirkbeck/LeanBridgeuses1f9b441

    Link LMFDB and Lean

  6. thefundamentaltheor3m/SphereCetiuses8671bee

  7. TauCetiProject/TauCetiRoadmapusesa91d3aa

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