This is Lean4 project for machine/deep/reinforcement learning
Lean Updated 2 months ago 1 commits 4 stars
echo-ai|Mirror: math-proof/lemma (⭐4)
2 months agoAbout
This is Lean4 project for machine/deep/reinforcement learning
Readme
4 stars
This is Lean4 project for machine/deep/reinforcement learning
This is Lean4 project for machine/deep/reinforcement learning