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