Name	Name	Last commit message	Last commit date
Latest commit History 3,754 Commits
.claude	.claude
.github/workflows	.github/workflows
Hex	Hex
HexArith	HexArith
HexBareiss	HexBareiss
HexBareissMathlib	HexBareissMathlib
HexBasic	HexBasic
HexBerlekamp	HexBerlekamp
HexBerlekampMathlib	HexBerlekampMathlib
HexBerlekampZassenhaus	HexBerlekampZassenhaus
HexBerlekampZassenhausMathlib	HexBerlekampZassenhausMathlib
HexConway	HexConway
HexDeterminant	HexDeterminant
HexDeterminantMathlib	HexDeterminantMathlib
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
HexRowReduce	HexRowReduce
HexRowReduceMathlib	HexRowReduceMathlib
PLAN	PLAN
SPEC	SPEC
bench	bench
conformance-failures	conformance-failures
conformance-fixtures	conformance-fixtures
conformance	conformance
progress	progress
reports	reports
scripts	scripts
status	status
.gitignore	.gitignore
AGENTS.md	AGENTS.md
DEV.md	DEV.md
Hex.lean	Hex.lean
HexArith.lean	HexArith.lean
HexBareiss.lean	HexBareiss.lean
HexBareissMathlib.lean	HexBareissMathlib.lean
HexBasic.lean	HexBasic.lean
HexBerlekamp.lean	HexBerlekamp.lean
HexBerlekampMathlib.lean	HexBerlekampMathlib.lean
HexBerlekampZassenhaus.lean	HexBerlekampZassenhaus.lean
HexBerlekampZassenhausMathlib.lean	HexBerlekampZassenhausMathlib.lean
HexConway.lean	HexConway.lean
HexDeterminant.lean	HexDeterminant.lean
HexDeterminantMathlib.lean	HexDeterminantMathlib.lean
HexGF2.lean	HexGF2.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
HexRowReduce.lean	HexRowReduce.lean
HexRowReduceMathlib.lean	HexRowReduceMathlib.lean
LICENSE	LICENSE
Main.lean	Main.lean
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

Name

Last commit message

Last commit date

3,754 Commits