Popular repositories Loading

1. rectangular-matmul-rings rectangular-matmul-rings Public

   Rectangular matrix multiplication over arbitrary and noncommutative rings: exponent 9/4 (2.25), dual exponent >= 1/2, shared-leg entropy, Lean 4 formal proofs. 任意环与非交换环上的矩阵乘法形式化证明。

   Lean

2. division-free-arithmetic-lean division-free-arithmetic-lean Public

   Lean formalization of division-free polynomial arithmetic over arbitrary commutative rings.

   Lean

3. almost-linear-modular-composition-lean almost-linear-modular-composition-lean Public

   Lean formalization of almost-linear modular composition over arbitrary commutative rings.

   Lean