Developer · Repository owner

selanavot

1 repository by selanavot on GitTiger, with 1 stars gained today.

Owner profile

selanavot

stars today

Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields

Repository rows keep their global rank; this list is filtered to the selected owner.