gam 0.1.17

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