leanproverhex

Verified computational algebra in Lean 4: aggregator for the released hex libraries
Sort by
  1. Git dependency.
    Not found on Reservoir.

    HexLLLMathliba5b45bb

  2. Git dependency.
    Not found on Reservoir.

    HexLLL6ea0790

  3. Git dependency.
    Not found on Reservoir.

    HexGramSchmidtMathlibde256b2

  4. Git dependency.
    Not found on Reservoir.

    HexGramSchmidt5bb2f1b

  5. Git dependency.
    Not found on Reservoir.

    HexMatrixMathlib362370b

  6. Git dependency.
    Not found on Reservoir.

    HexMatrixe76a18a

  7. Git dependency.
    Not found on Reservoir.

    HexMvPolyMathlibd1c169a

  8. Git dependency.
    Not found on Reservoir.

    HexMvPoly5ebb6d5

  9. Git dependency.
    Not found on Reservoir.

    HexPolyMathlib5897ba1

  10. Git dependency.
    Not found on Reservoir.

    HexPoly104a2b0

  11. Git dependency.
    Not found on Reservoir.

    HexBasic365881f