math-proof/lemma

This is Lean4 project for machine/deep/reinforcement learning

GitHub repository with 5 stars and 1 forks.

Language: Lean

Topics: lean4, rl

Open provider repository