leanproverhex

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

    HexGFqMathlibcbbe8ec

  2. Git dependency.
    Not found on Reservoir.

    HexGFq2474d93

  3. Git dependency.
    Not found on Reservoir.

    HexGF2Mathlibcbff66a

  4. Git dependency.
    Not found on Reservoir.

    HexGF2df31f2b

  5. Git dependency.
    Not found on Reservoir.

    HexGFqFielda30fde3

  6. Git dependency.
    Not found on Reservoir.

    HexConwayf8d2a5b

  7. Git dependency.
    Not found on Reservoir.

    HexPolyFpMathlib4cf1484

  8. Git dependency.
    Not found on Reservoir.

    HexLLLMathlibf741311

  9. Git dependency.
    Not found on Reservoir.

    HexLLL0903bf1

  10. Git dependency.
    Not found on Reservoir.

    HexGramSchmidtMathlibb2b0e9b

  11. Git dependency.
    Not found on Reservoir.

    HexGramSchmidta6f9a5a

  12. Git dependency.
    Not found on Reservoir.

    HexMatrixMathlib7da1050

  13. Git dependency.
    Not found on Reservoir.

    HexSparsePolyMathlib626ed3c

  14. Git dependency.
    Not found on Reservoir.

    HexSparsePoly31fd3c5

  15. Git dependency.
    Not found on Reservoir.

    HexMatrix049bf8e

  16. Git dependency.
    Not found on Reservoir.

    HexMvPolyMathlibde23c82

  17. Git dependency.
    Not found on Reservoir.

    HexMvPoly2bf8891

  18. Git dependency.
    Not found on Reservoir.

    HexPolyMathlibe17fbab

  19. Git dependency.
    Not found on Reservoir.

    HexPoly07ea4eb

  20. Git dependency.
    Not found on Reservoir.

    HexBasic2d7f55d