gam 0.1.16

Generalized penalized likelihood engine
Documentation
1
leanprover/lean4:v4.24.0