LeanBandits
Bandit algorithms in Lean
of 4 versions of LeanBandits
1-4Sort by
Date
15a1190
v4.22.0-rc3166.2 KBe63d85a
v4.22.0-rc3v4.22.0-rc3c94cb7f
v4.21.0-rc2v4.21.0-rc23a774bc
v4.21.0-rc1v4.21.0-rc1
15a1190
e63d85a
c94cb7f
3a774bc