hex

Verified computational algebra in Lean 4.

Specification: SPEC/SPEC.md
Execution plan: PLAN.md
Library DAG and phase state: libraries.yml

Name		Name	Last commit message	Last commit date
Latest commit History 3,507 Commits
.claude		.claude
.github/workflows		.github/workflows
Hex		Hex
HexArith		HexArith
HexBerlekamp		HexBerlekamp
HexBerlekampMathlib		HexBerlekampMathlib
HexBerlekampZassenhaus		HexBerlekampZassenhaus
HexBerlekampZassenhausMathlib		HexBerlekampZassenhausMathlib
HexConway		HexConway
HexGF2		HexGF2
HexGF2Mathlib		HexGF2Mathlib
HexGFq		HexGFq
HexGFqField		HexGFqField
HexGFqMathlib		HexGFqMathlib
HexGFqRing		HexGFqRing
HexGramSchmidt		HexGramSchmidt
HexGramSchmidtMathlib		HexGramSchmidtMathlib
HexHensel		HexHensel
HexHenselMathlib		HexHenselMathlib
HexLLL		HexLLL
HexLLLMathlib		HexLLLMathlib
HexManual		HexManual
HexMatrix		HexMatrix
HexMatrixMathlib		HexMatrixMathlib
HexModArith		HexModArith
HexModArithMathlib		HexModArithMathlib
HexPoly		HexPoly
HexPolyFp		HexPolyFp
HexPolyMathlib		HexPolyMathlib
HexPolyZ		HexPolyZ
HexPolyZMathlib		HexPolyZMathlib
PLAN		PLAN
SPEC		SPEC
conformance-failures		conformance-failures
conformance-fixtures		conformance-fixtures
progress		progress
reports		reports
scripts		scripts
status		status
.gitignore		.gitignore
AGENTS.md		AGENTS.md
Hex.lean		Hex.lean
HexArith.lean		HexArith.lean
HexBerlekamp.lean		HexBerlekamp.lean
HexBerlekampMathlib.lean		HexBerlekampMathlib.lean
HexBerlekampZassenhaus.lean		HexBerlekampZassenhaus.lean
HexBerlekampZassenhausMathlib.lean		HexBerlekampZassenhausMathlib.lean
HexConway.lean		HexConway.lean
HexGF2.lean		HexGF2.lean
HexGF2Bench.lean		HexGF2Bench.lean
HexGF2Mathlib.lean		HexGF2Mathlib.lean
HexGFq.lean		HexGFq.lean
HexGFqField.lean		HexGFqField.lean
HexGFqMathlib.lean		HexGFqMathlib.lean
HexGFqRing.lean		HexGFqRing.lean
HexGramSchmidt.lean		HexGramSchmidt.lean
HexGramSchmidtMathlib.lean		HexGramSchmidtMathlib.lean
HexHensel.lean		HexHensel.lean
HexHenselMathlib.lean		HexHenselMathlib.lean
HexLLL.lean		HexLLL.lean
HexLLLMathlib.lean		HexLLLMathlib.lean
HexManual.lean		HexManual.lean
HexMatrix.lean		HexMatrix.lean
HexMatrixMathlib.lean		HexMatrixMathlib.lean
HexModArith.lean		HexModArith.lean
HexModArithMathlib.lean		HexModArithMathlib.lean
HexPoly.lean		HexPoly.lean
HexPolyFp.lean		HexPolyFp.lean
HexPolyMathlib.lean		HexPolyMathlib.lean
HexPolyZ.lean		HexPolyZ.lean
HexPolyZMathlib.lean		HexPolyZMathlib.lean
LICENSE		LICENSE
PLAN.md		PLAN.md
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
libraries.yml		libraries.yml

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

hex

About

Uh oh!

Releases

Packages

Uh oh!

Contributors

Uh oh!

Languages

Folders and files

Latest commit

History

Repository files navigation

hex

About

Resources

License

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Uh oh!

Contributors

Uh oh!

Languages

Packages