CBirkbeckAINTLIB

Atlas of formalised number theory in Lean (Verso blueprint)
Displaying 1-1 of 1 packages depending on CBirkbeck/AINTLIB
Sort by

  1. kim-em/Hexuses3808ce8

    Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex