Geeks
ramonfmir
/
junglean
Random forest implementation in Lean.
Primary Language
Lean
junglean GitHub
Markdown
Readme
0
Issues
0
Stargazers
4
Watchers
Watchers
jhcloos
ramonfmir
London
EdAyers
Cambridge, UK
BartoszPiotrowski
Warsaw