leanproverhex

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

    HexLLLMathlibc10d668

  2. Git dependency.
    Not found on Reservoir.

    HexLLLa73f188

  3. Git dependency.
    Not found on Reservoir.

    HexGramSchmidtMathlib06acf34

  4. Git dependency.
    Not found on Reservoir.

    HexGramSchmidt6bae0c6

  5. Git dependency.
    Not found on Reservoir.

    HexMatrixMathlibbe15f40

  6. Git dependency.
    Not found on Reservoir.

    HexMatrixd45bf74

  7. Git dependency.
    Not found on Reservoir.

    HexMvPolyMathlib73bf7d4

  8. Git dependency.
    Not found on Reservoir.

    HexMvPolyabd64da

  9. Git dependency.
    Not found on Reservoir.

    HexPolyMathlib5541f92

  10. Git dependency.
    Not found on Reservoir.

    HexPolyedadb24

  11. Git dependency.
    Not found on Reservoir.

    HexBasic5354a71