Documentation

LeanPool.FormalLearningTheory.Learner

Imports

Init
LeanPool.FormalLearningTheory.Learner.Active
LeanPool.FormalLearningTheory.Learner.Bayesian
LeanPool.FormalLearningTheory.Learner.Core
LeanPool.FormalLearningTheory.Learner.Properties

Imported by

LeanPool.FormalLearningTheory.Learner #

Imported Lean Pool material for LeanPool.FormalLearningTheory.Learner.