leanproverhex

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

    HexLLLMathlibbb91c93

  2. Git dependency.
    Not found on Reservoir.

    HexLLL554f5b4

  3. Git dependency.
    Not found on Reservoir.

    HexGramSchmidtMathlib05b6452

  4. Git dependency.
    Not found on Reservoir.

    HexGramSchmidt6c3cd21

  5. Git dependency.
    Not found on Reservoir.

    HexMatrixMathlibb4516b5

  6. Git dependency.
    Not found on Reservoir.

    HexMatrixce6c244

  7. Git dependency.
    Not found on Reservoir.

    HexMvPolyMathlib27337b7

  8. Git dependency.
    Not found on Reservoir.

    HexMvPoly948ad47

  9. Git dependency.
    Not found on Reservoir.

    HexPolyMathlib350d579

  10. Git dependency.
    Not found on Reservoir.

    HexPoly0e9bc29

  11. Git dependency.
    Not found on Reservoir.

    HexBasica3ab4fd